Update MainGUI for project manager merge

src/main/java/ui/MainGUI.java

src/main/java/ui/ModeManager.java

src/main/java/ui/window/JDialogDSE.java

src/main/java/ui/window/JDialogProverifVerification.java