Merge branch 'task/JAL-3225_Integration_Gradle_building_into_Eclipse' into bug/JAL...

[jalview.git] / gradle.properties

diff --git a/gradle.properties b/gradle.properties
index f8da717..a82d781 100644 (file)
--- a/gradle.properties
+++ b/gradle.properties
@@ -1,7 +1,7 @@
 #org.gradle.java.home = /Users/bsoares/Java/installs/OpenJDK8U-jdk_x64_mac_hotspot_8u192b12/jdk8u192-b12/Contents/Home
 jalviewDir = .
 
-JAVA_VERSION = 1.8
+JAVA_VERSION = 11
 JALVIEW_VERSION = DEVELOPMENT
 INSTALLATION = Source
 jalview_keystore = keys/.keystore
@@ -97,3 +97,5 @@ install4jResourceDir = utils/install4j
 install4jTemplate = install4j_template.install4j
 install4jBuildDir = build/install4j
 install4jMediaTypes = windows,macosArchive,linuxRPM,linuxDeb
+
+eclipse_extra_jdt_prefs_file = .settings/org.eclipse.jdt.core.jalview.prefs