diff --git a/src/main/java/ui/MainGUI.java b/src/main/java/ui/MainGUI.java index 4fcd53e8926707d73b634eb7ee94ebbed700b98b..84ea3a173d683cadda57e959998f9d2647c61600 100644 --- a/src/main/java/ui/MainGUI.java +++ b/src/main/java/ui/MainGUI.java @@ -4410,7 +4410,7 @@ public class MainGUI implements ActionListener, WindowListener, KeyListener, Pe dtree.toBeUpdated(); } else if (gtm.getLanguageID() == GTURTLEModeling.UPPAAL) { JDialogUPPAALValidation jduv = new JDialogUPPAALValidation(frame, - this, "Formal verification with UPPAAL", + this, "Formal Verification with UPPAAL", gtm.getPathUPPAALVerifier(), gtm.getPathUPPAALFile(), REMOTE_UPPAAL_FILE,