defaultProps.put("logo.512", "/default_images/jalview_logo-512.png");
defaultProps.put("rotatable_logo.48",
"/default_images/rotatable_jalview_logo-38.png");
+ defaultProps.put("bg_logo.62", "/default_images/barton_group-62.png");
defaultProps.put("uod_banner", "/default_images/UoD_banner.png");
defaultProps.put("default_appbase",
"https://www.jalview.org/getdown/release/1.8");