CLEAR_CONSOLE=true FORMAT_BEFORE_SAVE=false JAVACC_OPTIONS= JJDOC_OPTIONS= JJTREE_OPTIONS= JJ_NATURE=true JTB_OPTIONS=-ia -jd -tk KEEP_DEL_FILES_IN_HISTORY=false MARK_GEN_FILES_AS_DERIVED=true RUNTIME_JJJAR= RUNTIME_JTBJAR= RUNTIME_JVMOPTIONS= SUPPRESS_WARNINGS=false eclipse.preferences.version=1
