Issue #18: RSH client API refactoring

src/ui/window/JDialogAvatarExecutableCodeGeneration.java

src/ui/window/JDialogAvatarddExecutableCodeGeneration.java

src/ui/window/JDialogBisimulation.java

src/ui/window/JDialogBisimulationBisimulator.java

src/ui/window/JDialogCCodeGeneration.java

src/ui/window/JDialogDSE.java

src/ui/window/JDialogFormalValidation.java

src/ui/window/JDialogGenAUT.java

src/ui/window/JDialogGenAUTS.java

src/ui/window/JDialogGraphModification.java

src/ui/window/JDialogLOTOSAnalysis.java

src/ui/window/JDialogLOTOSValidation.java

src/ui/window/JDialogProVerifGeneration.java

src/ui/window/JDialogProjection.java

src/ui/window/JDialogSimulation.java

src/ui/window/JDialogTMatrixManagement.java

src/ui/window/JDialogTPNValidation.java

src/ui/window/JDialogTextProcess.java

src/ui/window/JDialogUPPAALValidation.java