markus.muehlbrandt@itemis.de 2de08ee1aa Removed dependency of java.lang.timer from generated java statemachine. An exception is thrown if statemachine is started without timer. před 14 roky
..
org.eclipse.core.resources.prefs 2de08ee1aa Removed dependency of java.lang.timer from generated java statemachine. An exception is thrown if statemachine is started without timer. před 14 roky