jalviewjs_libjs_dir = utils/jalviewjs/libjs
jalviewjs_site_resource_dir = utils/jalviewjs/site-resources
jalviewjs_classlists_dir = utils/jalviewjs/classlists
jalviewjs_libjs_dir = utils/jalviewjs/libjs
jalviewjs_site_resource_dir = utils/jalviewjs/site-resources
jalviewjs_classlists_dir = utils/jalviewjs/classlists
jalviewjs_j2s_settings = .j2s
#jalviewjs_eclipse_workspace = ~/tmp/eclipse-workspace
# these 3 files/dirs found in build/jalviewjs
jalviewjs_j2s_settings = .j2s
#jalviewjs_eclipse_workspace = ~/tmp/eclipse-workspace
# these 3 files/dirs found in build/jalviewjs
jalviewjs_server_port = 9001
jalviewjs_server_wait = 30
jalviewjs_server_resource = /jalview_bin_Jalview.html
jalviewjs_server_port = 9001
jalviewjs_server_wait = 30
jalviewjs_server_resource = /jalview_bin_Jalview.html
jalviewjs_name = JalviewJS
jalviewjs_core_key = core
#jalviewjs_core_key = preloadCore
jalviewjs_name = JalviewJS
jalviewjs_core_key = core
#jalviewjs_core_key = preloadCore