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. vor 13 Jahren
..
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. vor 13 Jahren