defaultProps.put("default_appbase",
"https://www.jalview.org/getdown/release/1.8");
defaultProps.put("preferences.filename", ".jalview_properties");
defaultProps.put("default_appbase",
"https://www.jalview.org/getdown/release/1.8");
defaultProps.put("preferences.filename", ".jalview_properties");