workaround incremental compilation issue
workaround incremental compilation issue

LearnLib/automatalib,misberner/automatalib,LearnLib/automatalib,misberner/automatalib,LearnLib/automatalib,LearnLib/automatalib