Index: gradle.properties =================================================================== diff -u -N -r762f874a3fb43e5b56250a33154d3f37872360b8 -r4cf38a596371d40f25a7fcc7e3127b79c412ba63 --- gradle.properties (.../gradle.properties) (revision 762f874a3fb43e5b56250a33154d3f37872360b8) +++ gradle.properties (.../gradle.properties) (revision 4cf38a596371d40f25a7fcc7e3127b79c412ba63) @@ -161,7 +161,6 @@ jalviewjs_libjs_dir = utils/jalviewjs/libjs jalviewjs_site_resource_dir = utils/jalviewjs/site-resources jalviewjs_classlists_dir = utils/jalviewjs/classlists -jalviewjs_classlist_jalview = utils/jalviewjs/_j2sclasslist.txt jalviewjs_j2s_settings = .j2s #jalviewjs_eclipse_workspace = ~/tmp/eclipse-workspace # these 3 files/dirs found in build/jalviewjs @@ -177,7 +176,6 @@ jalviewjs_server_port = 9001 jalviewjs_server_wait = 30 jalviewjs_server_resource = /jalview_bin_Jalview.html -jalviewjs_core_name = _jalview jalviewjs_name = JalviewJS jalviewjs_core_key = core #jalviewjs_core_key = preloadCore