+org.gradle.jvmargs=-Xmx1536m -Xms512m
+
jalviewDir = .
#JAVA_VERSION = 1.8
jalview_keydig = SHA1
testngGroups = Functional
+testngExcludedGroups =
j8libDir = j8lib
j11libDir = j11lib
examplesDir = examples
clover = false
use_clover = false
+cloverReportJVMHeap = 2g
+cloverReportJVMArgs = -Dfile.encoding=UTF-8
+cloverReportHTMLOptions =
+cloverReportXMLOptions =
cloverClassesDir = clover-classes
cloverSourcesInstrDir = sources-instr
packageDir = dist
getdown_launcher_local = getdown-launcher-local.jar
getdown_launcher_new = getdown-launcher-new.jar
getdown_core = getdown/lib/getdown-core.jar
-getdown_launch_jvl = channel_launch.jvl
getdown_build_properties = build_properties
+getdown_launch_jvl_name = channel_launch
getdown_txt_allow_offline = true
getdown_txt_max_concurrent_downloads = 10
# now got better defaults when not set
bamboo_planKey =
bamboo_getdown_channel_suffix = /latest/artifact/shared/getdown-channel
-eclipse_extra_jdt_prefs_file = .settings/org.eclipse.jdt.core.jalview.prefs
+eclipse_extra_jdt_prefs_file = utils/eclipse/org.eclipse.jdt.core.jalview.prefs
eclipse_project_name = jalview
eclipse_bin_dir = bin
eclipse_debug = false