Started Java ModelChecker