New time capture operator

src/translator/ADChoice.java

src/translator/ADTimeCapture.java

src/translator/ActivityDiagram.java

src/translator/TClass.java

src/translator/TURTLEModeling.java

src/translator/tojava/TURTLE2Java.java

src/translator/touppaal/TURTLE2UPPAAL.java

src/ui/DesignPanelTranslator.java

src/ui/GTURTLEModeling.java

src/ui/MainGUI.java

src/ui/TGComponentManager.java

src/ui/TGUIAction.java

src/ui/ad/TADTimeCapture.java

src/ui/ad/TActivityDiagramToolBar.java

src/ui/window/JDialogUPPAALGeneration.java