UPPAAL Dialog Window is not well displayed when using long pragmas. JDialogUPPAALValidation should be improved.