| #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 |