CLEAR_CONSOLE=true
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