Update on random sequence

src/Main.java

src/tmltranslator/TMLMapping.java

src/ui/GTURTLEModeling.java

src/ui/interactivesimulation/TaskVariableTableModel.java