eclipse_extra_jdt_prefs_file = .settings/org.eclipse.jdt.core.jalview.prefs
eclipse_project_name = jalview
eclipse_bin_dir = bin
-eclipse_debug = true
+eclipse_debug = false
-jalviewjs_eclipse_root = ~/buildtools/eclipse/jee-2019-06
+jalviewjs_eclipse_root = ~/buildtools/eclipse/jee-2019-09
jalviewjs_utils_dir = utils/jalviewjs
jalviewjs_eclipse_dropins_dir = eclipse/dropins