JAL-3210 correcting gitignore for eclipse settings

[jalview.git] / gradle.properties

diff --git a/gradle.properties b/gradle.properties
index 9b82d59..d2c5394 100644 (file)
--- a/gradle.properties
+++ b/gradle.properties
@@ -33,6 +33,8 @@ j11libDir = j11lib
 #j11modDir = j11mod
 #j11modules = com.sun.istack.runtime,com.sun.xml.bind,com.sun.xml.fastinfoset,com.sun.xml.streambuffer,com.sun.xml.txw2,com.sun.xml.ws.policy,java.activation,java.annotation,java.base,java.compiler,java.datatransfer,java.desktop,java.logging,java.management,java.management.rmi,java.naming,java.prefs,java.rmi,java.scripting,java.security.sasl,java.sql,java.xml,java.xml.bind,java.xml.soap,java.xml.ws,javax.jws,jdk.httpserver,jdk.jsobject,jdk.unsupported,jdk.xml.dom,org.jvnet.mimepull,org.jvnet.staxex,javax.servlet.api,java.ws.rs
 
+eclipse_extra_jdt_prefs_file = .settings/org.eclipse.jdt.core.jalview.prefs
+
 dev = false
 
 jalviewjs_eclipse_root = ~/buildtools/eclipse/eclipse-jee-2019-06
@@ -77,6 +79,7 @@ j2s.class.replacements = org.apache.log4j.->jalview.javascript.log4j.
 #output will be comma-separated: called method,caller class 
 #j2s.prop.j2s.log.all.calls=true
 
-goomph_eclipse_version = 4.12
+spotless_eclipse_version = 4.12.0
+goomph_eclipse_version = 4.13
 goomph_repo_buildship = https://download.eclipse.org/buildship/updates/e47/releases/3.x/
 goomph_feature_buildship = org.eclipse.buildship