|
@@ -61,7 +61,7 @@ formatter_settings_version=12
|
|
|
org.eclipse.jdt.ui.exception.name=e
|
|
|
org.eclipse.jdt.ui.gettersetter.use.is=true
|
|
|
org.eclipse.jdt.ui.ignorelowercasenames=true
|
|
|
-org.eclipse.jdt.ui.importorder=java;javax;org;com;gui.trove;
|
|
|
+org.eclipse.jdt.ui.importorder=java;javax;org;com;
|
|
|
org.eclipse.jdt.ui.javadoc=true
|
|
|
org.eclipse.jdt.ui.keywordthis=false
|
|
|
org.eclipse.jdt.ui.ondemandthreshold=99
|