This package contains classes forming the graphical user interface of KeY.