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. 13 lat temu
..
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. 13 lat temu