JAL-3225 tasks to create extra desired settings for eclipse

[jalview.git] / utils / eclipse / org.eclipse.jdt.ui.prefs

diff --git a/utils/eclipse/org.eclipse.jdt.ui.prefs b/utils/eclipse/org.eclipse.jdt.ui.prefs
new file mode 100644 (file)
index 0000000..93bda1c
--- /dev/null
+++ b/utils/eclipse/org.eclipse.jdt.ui.prefs
@@ -0,0 +1,2 @@
+eclipse.preferences.version=1
+cleanup.remove_redundant_type_arguments=false