X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=gradle.properties;h=85ee158c43ace3156a827a1a057b52bc748c3145;hb=e9f60866d6c5c137cb57ba2a9317c5ab0495594f;hp=168de0404dd7b32a983b3421557f51e95a244b93;hpb=741ffd68a834d7501e3fc480f8917429d0e687c4;p=jalview.git

diff --git a/gradle.properties b/gradle.properties
index 168de04..85ee158 100644
--- a/gradle.properties
+++ b/gradle.properties
@@ -142,7 +142,7 @@ eclipse_extra_jdt_prefs_file = .settings/org.eclipse.jdt.core.jalview.prefs
 eclipse_project_name = jalview
 eclipse_bin_dir = bin
 
-jalviewjs_eclipse_root = ~/buildtools/eclipse/eclipse-jee-2019-09
+jalviewjs_eclipse_root = ~/buildtools/eclipse/eclipse-jee-2019-09/eclipse
 
 jalviewjs_utils_dir = utils/jalviewjs
 jalviewjs_eclipse_dropins_dir = eclipse/dropins
@@ -154,7 +154,8 @@ jalviewjs_site_dir = site
 jalviewjs_j2s_subdir = swingjs/j2s
 jalviewjs_j2s_settings_file = dot_j2s
 jalviewjs_j2s_settings = .j2s
-jalviewjs_eclipse_workspace = ../tmp/eclipse-workspace
+#jalviewjs_eclipse_workspace = ../tmp/eclipse-workspace
+jalviewjs_eclipse_workspace_location_file = eclipse_workspace_location
 #jalviewjs_eclipseBuildArg = build
 jalviewjs_eclipseBuildArg = cleanBuild
 jalviewjs_server_port = 9001