| #Thu Jul 21 13:19:02 EDT 2011 | |
| CLEAR_CONSOLE=false | |
| JAVACC_OPTIONS=-STATIC\=false -SUPPORT_CLASS_VISIBILITY_PUBLIC\=true -IGNORE_CASE\=true -JAVA_UNICODE_ESCAPE\=true | |
| JJDOC_OPTIONS= | |
| JJTREE_OPTIONS=-BUILD_NODE_FILES\=false -TRACK_TOKENS\=true -VISITOR\=true | |
| 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 |