uod_banner.32=/images/UoD_banner-32.png
default_appbase=https://www.jalview.org/getdown/develop/11
preferences.filename=.jalview_develop_properties
uod_banner.32=/images/UoD_banner-32.png
default_appbase=https://www.jalview.org/getdown/develop/11
preferences.filename=.jalview_develop_properties