#Thu Jul 21 13:19:02 EDT 2011
CLEAR_CONSOLE=false
JAVACC_OPTIONS=
JJDOC_OPTIONS=
JJTREE_OPTIONS=
JJ_NATURE=false
JTB_OPTIONS=-ia -jd -tk
RUNTIME_JJJAR=${eclipse_home}/plugins/sf.eclipse.javacc_1.5.24/javacc.jar
RUNTIME_JTBJAR=${eclipse_home}/plugins/sf.eclipse.javacc_1.5.24/jtb-1.4.4.jar
SUPPRESS_WARNINGS=true
eclipse.preferences.version=1