#Wed Mar 23 16:23:03 EDT 2011 | |
org.eclipse.jdt.ui.ignorelowercasenames=true | |
org.eclipse.jdt.ui.exception.name=e | |
org.eclipse.jdt.ui.ondemandthreshold=4 | |
org.eclipse.jdt.ui.staticondemandthreshold=4 | |
org.eclipse.jdt.ui.overrideannotation=true | |
formatter_settings_version=11 | |
org.eclipse.jdt.ui.importorder=java;javax;org;com; | |
formatter_profile=_Eclipse WTP Servertools Formatting rules | |
org.eclipse.jdt.ui.gettersetter.use.is=true | |
eclipse.preferences.version=1 | |
org.eclipse.jdt.ui.keywordthis=false |