JAL-3412 update layout whenever desired id width changes

[jalview.git] / gradle.properties

diff --git a/gradle.properties b/gradle.properties
index 7a51138..e4f0ebf 100644 (file)
--- a/gradle.properties
+++ b/gradle.properties
@@ -34,6 +34,10 @@ classes_dir = classes
 examplesDir = examples
 clover = false
 use_clover = false
+cloverReportJVMHeap = 2g
+cloverReportJVMArgs = -Dfile.encoding=UTF-8
+cloverReportHTMLOptions = 
+cloverReportXMLOptions =
 cloverClassesDir = clover-classes
 cloverSourcesInstrDir = sources-instr
 packageDir = dist