defaultProps.put("default_appbase",
"https://www.jalview.org/getdown/release/1.8");
defaultProps.put("preferences.filename", ".jalview_properties");
+ defaultProps.put("channel", "none");
// load channel_properties
Properties tryChannelProps = new Properties();