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. il y a 13 ans
..
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. il y a 13 ans