eclipse_bin_dir = bin
gradlePluginsDir = gradle/plugins
+m2RepoDir = gradle/m2
j8libDir = j8lib
j11libDir = j11lib
jalviewjs_j2s_settings_file = dot_j2s
jalviewjs_j2s_settings = .j2s
jalviewjs_eclipse_workspace = ../tmp/eclipse-workspace
-#jalviewjs_eclipseBuildArg = build
-jalviewjs_eclipseBuildArg = cleanBuild
+jalviewjs_eclipseBuildArg = build
+#jalviewjs_eclipseBuildArg = cleanBuild
jalviewjs_server_port = 9001
jalviewjs_server_wait = 30
jalviewjs_server_resource = /jalview_bin_Jalview.html
## 4.12
#goomph_eclipse_version = 4.12
#goomph_eclipse_version_name = 2019-06
+#goomph_eclipse_repo_version = 4.13.0
+#goomph_orbit_repo = https://download.eclipse.org/tools/orbit/downloads/drops/R20190602212107/repository
#goomph_eclipse_jee_feature = org.eclipse.epp.package.jee.feature
## find the jee feature version from https://download.eclipse.org/technology/epp/packages/<ECLIPSE_VERSION_NAME>/features/
#goomph_eclipse_jee_version = 4.12.0.20190614-1200
# 4.13
goomph_eclipse_version = 4.13
goomph_eclipse_version_name = 2019-09
+goomph_eclipse_repo_version = 4.13.0
+goomph_orbit_repo = https://download.eclipse.org/tools/orbit/downloads/drops/R20190827152740/repository
goomph_eclipse_jee_feature = org.eclipse.epp.package.jee.feature
goomph_eclipse_jee_version = 4.13.0.20190917-0000
goomph_feature_buildship = org.eclipse.buildship
goomph_workspace = ../tmp/goomph-workspace
+
+useGoomph = true