private static final String USER_AGENT = ChannelProperties
.getProperty("app_name", "Jalview") + " "
+ Cache.getDefault("VERSION", "Unknown") + " "
private static final String USER_AGENT = ChannelProperties
.getProperty("app_name", "Jalview") + " "
+ Cache.getDefault("VERSION", "Unknown") + " "