JAL-3811 document SHOW_JWS2_SERVICES user preference and provide new menu option...
[jalview.git] / src / jalview / bin / Cache.java
index acf1499..3669117 100755 (executable)
 /*
- * Jalview - A Sequence Alignment Editor and Viewer
- * Copyright (C) 2007 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle
- *
- * This program is free software; you can redistribute it and/or
- * modify it under the terms of the GNU General Public License
- * as published by the Free Software Foundation; either version 2
+ * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
+ * Copyright (C) $$Year-Rel$$ The Jalview Authors
+ * 
+ * This file is part of Jalview.
+ * 
+ * Jalview is free software: you can redistribute it and/or
+ * modify it under the terms of the GNU General Public License 
+ * as published by the Free Software Foundation, either version 3
  * of the License, or (at your option) any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
- *
+ *  
+ * Jalview is distributed in the hope that it will be useful, but 
+ * WITHOUT ANY WARRANTY; without even the implied warranty 
+ * of MERCHANTABILITY or FITNESS FOR A PARTICULAR 
+ * PURPOSE.  See the GNU General Public License for more details.
+ * 
  * You should have received a copy of the GNU General Public License
- * along with this program; if not, write to the Free Software
- * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA
+ * along with Jalview.  If not, see <http://www.gnu.org/licenses/>.
+ * The Jalview Authors are detailed in the 'AUTHORS' file.
  */
 package jalview.bin;
 
-import java.io.*;
-import java.util.*;
+import java.awt.Color;
+import java.io.BufferedReader;
+import java.io.File;
+import java.io.FileInputStream;
+import java.io.FileOutputStream;
+import java.io.InputStream;
+import java.io.InputStreamReader;
+import java.io.PrintWriter;
+import java.io.StringWriter;
+import java.text.DateFormat;
+import java.text.SimpleDateFormat;
+import java.util.Collections;
+import java.util.Date;
+import java.util.Enumeration;
+import java.util.Locale;
+import java.util.Properties;
+import java.util.StringTokenizer;
+import java.util.TreeSet;
+import java.util.regex.Pattern;
 
-import org.apache.log4j.*;
+import javax.swing.LookAndFeel;
+import javax.swing.UIManager;
+
+import org.apache.log4j.ConsoleAppender;
+import org.apache.log4j.Level;
+import org.apache.log4j.Logger;
+import org.apache.log4j.SimpleLayout;
+
+import jalview.datamodel.PDBEntry;
+import jalview.gui.UserDefinedColours;
+import jalview.schemes.ColourSchemeLoader;
+import jalview.schemes.ColourSchemes;
+import jalview.schemes.UserColourScheme;
+import jalview.structure.StructureImportSettings;
+import jalview.urls.IdOrgSettings;
+import jalview.util.ColorUtils;
+import jalview.ws.sifts.SiftsSettings;
 
 /**
- * Stores and retrieves Jalview Application Properties
- * Lists and fields within list entries are separated by '|' symbols unless otherwise stated
- * (|) clauses are alternative values for a tag.
- * <br><br>Current properties include:
- * <ul>
- * <br>logs.Axis.Level - one of the stringified Levels for log4j controlling the logging level for axis (used for web services)
+ * Stores and retrieves Jalview Application Properties Lists and fields within
+ * list entries are separated by '|' symbols unless otherwise stated (|) clauses
+ * are alternative values for a tag. <br>
  * <br>
- * </li><li>logs.Castor.Level - one of the stringified Levels for log4j controlling the logging level for castor (used for serialization)
- * <br>
- * </li><li>logs.Jalview.Level - Cache.log stringified level.
+ * Current properties include:
+ * <ul>
  * <br>
- * </li><li>DISCOVERY_START - Boolean - controls if discovery services are queried on startup
- * </li><li>DISCOVERY_URLS - comma separated list of Discovery Service endpoints.
- * </li><li>SCREEN_WIDTH
- * </li><li>SCREEN_HEIGHT
- * </li><li>SCREEN_Y=285
- * </li><li>SCREEN_X=371
- * </li><li>SHOW_FULLSCREEN boolean
- * </li><li>FONT_NAME java font name for alignment text display
- * </li><li>FONT_SIZE size of displayed alignment text
- * </li><li>FONT_STYLE style of font displayed (sequence labels are always italic)
- * </li><li>GAP_SYMBOL character to treat as gap symbol (usually -,.,' ')
- * </li><li>LAST_DIRECTORY last directory for browsing alignment
- * </li><li>USER_DEFINED_COLOURS list of user defined colour scheme files
- * </li><li>SHOW_FULL_ID show id with '/start-end' numbers appended
- * </li><li>SHOW_IDENTITY show percentage identity annotation
- * </li><li>SHOW_QUALITY show alignment quality annotation
- * </li><li>SHOW_ANNOTATIONS show alignment annotation rows
- * </li><li>SHOW_CONSERVATION show alignment conservation annotation
- * </li><li>DEFAULT_COLOUR default colour scheme to apply for a new alignment
- * </li><li>DEFAULT_FILE_FORMAT file format used to save 
- * </li><li>STARTUP_FILE file loaded on startup (may be a fully qualified url)
- * </li><li>SHOW_STARTUP_FILE flag to control loading of startup file
- * </li><li>VERSION the version of the jalview build
- * </li><li>BUILD_DATE date of this build
- * </li><li>LATEST_VERSION the latest jalview version advertised on the www.jalview.org
- * </li><li>PIR_MODELLER boolean indicating if PIR files are written with MODELLER descriptions
- * </li><li>(FASTA,MSF,PILEUP,CLUSTAL,BLC,PIR,PFAM)_JVSUFFIX boolean for adding jv suffix to file
- * </li><li>RECENT_URL list of recently retrieved URLs
- * </li><li>RECENT_FILE list of recently opened files
- * </li><li>USE_PROXY flag for whether a http proxy is to be used
- * </li><li>PROXY_SERVER the proxy
- * </li><li>PROXY_PORT
- * </li><li>NOQUESTIONNAIRES true to prevent jalview from checking the questionnaire service
- * </li><li>QUESTIONNAIRE last questionnaire:responder id string from questionnaire service
- * </li><li>DAS_LOCAL_SOURCE list of local das sources
- * </li><li>SHOW_OVERVIEW boolean for overview window display
- * </li><li>ANTI_ALIAS boolean for smooth fonts
- * </li><li>RIGHT_ALIGN_IDS boolean
- * </li><li>AUTO_CALC_CONSENSUS boolean for automatic recalculation of consensus
- * </li><li>PAD_GAPS boolean
- * </li><li>ID_ITALICS boolean 
- * </li><li>SHOW_JV_SUFFIX
- * </li><li>WRAP_ALIGNMENT
- * </li><li>EPS_RENDERING (Prompt each time|Lineart|Text) default for EPS rendering style check
- * </li><li>SORT_ALIGNMENT (No sort|Id|Pairwise Identity)
- * </li><li>SEQUENCE_LINKS list of name|URL pairs for opening a url with $SEQUENCE_ID$
- * </li><li>DAS_REGISTRY_URL the registry to query
- * </li><li>DEFAULT_BROWSER for unix
- * </li><li>DAS_ACTIVE_SOURCE list of active sources
- * </li><li> 
+ * logs.Axis.Level - one of the stringified Levels for log4j controlling the
+ * logging level for axis (used for web services) <br>
+ * </li>
+ * <li>logs.Castor.Level - one of the stringified Levels for log4j controlling
+ * the logging level for castor (used for serialization) <br>
+ * </li>
+ * <li>logs.Jalview.Level - Cache.log stringified level. <br>
+ * </li>
+ * <li>SCREEN_WIDTH</li>
+ * <li>SCREEN_HEIGHT</li>
+ * <li>SCREEN_Y=285</li>
+ * <li>SCREEN_X=371</li>
+ * <li>SHOW_FULLSCREEN boolean</li>
+ * <li>FONT_NAME java font name for alignment text display</li>
+ * <li>FONT_SIZE size of displayed alignment text</li>
+ * <li>FONT_STYLE style of font displayed (sequence labels are always
+ * italic)</li>
+ * <li>GAP_SYMBOL character to treat as gap symbol (usually -,.,' ')</li>
+ * <li>LAST_DIRECTORY last directory for browsing alignment</li>
+ * <li>USER_DEFINED_COLOURS list of user defined colour scheme files</li>
+ * <li>SHOW_FULL_ID show id with '/start-end' numbers appended</li>
+ * <li>SHOW_IDENTITY show percentage identity annotation</li>
+ * <li>SHOW_QUALITY show alignment quality annotation</li>
+ * <li>SHOW_ANNOTATIONS show alignment annotation rows</li>
+ * <li>SHOW_CONSERVATION show alignment conservation annotation</li>
+ * <li>SORT_ANNOTATIONS currently either SEQUENCE_AND_LABEL or
+ * LABEL_AND_SEQUENCE</li>
+ * <li>SHOW_AUTOCALC_ABOVE true to show autocalculated annotations above
+ * sequence annotations</li>
+ * <li>CENTRE_COLUMN_LABELS centre the labels at each column in a displayed
+ * annotation row</li>
+ * <li>DEFAULT_COLOUR default colour scheme to apply for a new alignment</li>
+ * <li>DEFAULT_FILE_FORMAT file format used to save</li>
+ * <li>STARTUP_FILE file loaded on startup (may be a fully qualified url)</li>
+ * <li>SHOW_STARTUP_FILE flag to control loading of startup file</li>
+ * <li>VERSION the version of the jalview build</li>
+ * <li>BUILD_DATE date of this build</li>
+ * <li>LATEST_VERSION the latest jalview version advertised on the
+ * www.jalview.org</li>
+ * <li>PIR_MODELLER boolean indicating if PIR files are written with MODELLER
+ * descriptions</li>
+ * <li>(FASTA,MSF,PILEUP,CLUSTAL,BLC,PIR,PFAM)_JVSUFFIX boolean for adding jv
+ * suffix to file</li>
+ * <li>RECENT_URL list of recently retrieved URLs</li>
+ * <li>RECENT_FILE list of recently opened files</li>
+ * <li>USE_PROXY flag for whether a http proxy is to be used</li>
+ * <li>PROXY_SERVER the proxy</li>
+ * <li>PROXY_PORT</li>
+ * <li>NOQUESTIONNAIRES true to prevent jalview from checking the questionnaire
+ * service</li>
+ * <li>QUESTIONNAIRE last questionnaire:responder id string from questionnaire
+ * service</li>
+ * <li>USAGESTATS (false - user prompted) Enable google analytics tracker for
+ * collecting usage statistics</li>
+ * <li>SHOW_OVERVIEW boolean for overview window display</li>
+ * <li>ANTI_ALIAS boolean for smooth fonts</li>
+ * <li>RIGHT_ALIGN_IDS boolean</li>
+ * <li>AUTO_CALC_CONSENSUS boolean for automatic recalculation of consensus</li>
+ * <li>PAD_GAPS boolean</li>
+ * <li>ID_ITALICS boolean</li>
+ * <li>SHOW_JV_SUFFIX</li>
+ * <li>WRAP_ALIGNMENT</li>
+ * <li>EPS_RENDERING (Prompt each time|Lineart|Text) default for EPS rendering
+ * style check</li>
+ * <li>SORT_ALIGNMENT (No sort|Id|Pairwise Identity)</li>
+ * <li>SEQUENCE_LINKS list of name|URL pairs for opening a url with
+ * $SEQUENCE_ID$</li>
+ * <li>STORED_LINKS list of name|url pairs which user has entered but are not
+ * currently used
+ * <li>DEFAULT_LINK name of single url to be used when user double clicks a
+ * sequence id (must be in SEQUENCE_LINKS or STORED_LINKS)
+ * <li>GROUP_LINKS list of name|URL[|&lt;separator&gt;] tuples - see
+ * jalview.utils.GroupURLLink for more info</li>
+ * <li>DEFAULT_BROWSER for unix</li>
+ * <li>SHOW_MEMUSAGE boolean show memory usage and warning indicator on desktop
+ * (false)</li>
+ * <li>VERSION_CHECK (true) check for the latest release version from
+ * www.jalview.org (or the alias given by the www.jalview.org property)</li>
+ * <li>SHOW_NPFEATS_TOOLTIP (true) show non-positional features in the Sequence
+ * ID tooltip</li>
+ * <li>SHOW_DBREFS_TOOLTIP (true) show Database Cross References in the Sequence
+ * ID tooltip</li>
+ * <li>SHOW_UNCONSERVED (false) only render unconserved residues - conserved
+ * displayed as '.'</li>
+ * <li>SORT_BY_TREE (false) sort the current alignment view according to the
+ * order of a newly displayed tree</li>
+ * <li>DBFETCH_USEPICR (false) use PICR to recover valid DB references from
+ * sequence ID strings before attempting retrieval from any datasource</li>
+ * <li>SHOW_GROUP_CONSENSUS (false) Show consensus annotation for groups in the
+ * alignment.</li>
+ * <li>SHOW_GROUP_CONSERVATION (false) Show conservation annotation for groups
+ * in the alignment.</li>
+ * <li>SHOW_CONSENSUS_HISTOGRAM (false) Show consensus annotation row's
+ * histogram.</li>
+ * <li>SHOW_CONSENSUS_LOGO (false) Show consensus annotation row's sequence
+ * logo.</li>
+ * <li>NORMALISE_CONSENSUS_LOGO (false) Show consensus annotation row's sequence
+ * logo normalised to row height rather than histogram height.</li>
+ * <li>FOLLOW_SELECTIONS (true) Controls whether a new alignment view should
+ * respond to selections made in other alignments containing the same sequences.
+ * </li>
+ * <li>SHOW_JWS2_SERVICES (true) when set to false, jalview will not
+ * auto-discover JABAWS services</li>
+ * <li>JWS2HOSTURLS comma-separated list of URLs to try for JABAWS services</li>
+ * <li>SHOW_WSDISCOVERY_ERRORS (true) Controls if the web service URL discovery
+ * warning dialog box is displayed.</li>
+ * <li>ANNOTATIONCOLOUR_MIN (orange) Shade used for minimum value of annotation
+ * when shading by annotation</li>
+ * <li>ANNOTATIONCOLOUR_MAX (red) Shade used for maximum value of annotation
+ * when shading by annotation</li>
+ * <li>www.jalview.org (https://www.jalview.org) a property enabling all HTTP
+ * requests to be redirected to a mirror of https://www.jalview.org</li>
+ * <li>FIGURE_AUTOIDWIDTH (false) Expand the left hand column of an exported
+ * alignment figure to accommodate even the longest sequence ID or annotation
+ * label.</li>
+ * <li>FIGURE_FIXEDIDWIDTH Specifies the width to use for the left-hand column
+ * when exporting an alignment as a figure (setting FIGURE_AUTOIDWIDTH to true
+ * will override this).</li>
+ * <li>STRUCT_FROM_PDB (false) derive secondary structure annotation from PDB
+ * record</li>
+ * <li>USE_RNAVIEW (false) use RNAViewer to derive secondary structure</li>
+ * <li>ADD_SS_ANN (false) add secondary structure annotation to alignment
+ * display</li>
+ * <li>ADD_TEMPFACT_ANN (false) add Temperature Factor annotation to alignment
+ * display</li>
+ * <li>STRUCTURE_DISPLAY choose from JMOL (default) or CHIMERA for 3D structure
+ * display</li>
+ * <li>CHIMERA_PATH specify full path to Chimera program (if non-standard)</li>
+ * <li>ID_ORG_HOSTURL location of jalview service providing identifiers.org urls
  * </li>
  * 
+ * <li>NONEWS - when set disables Jalview News from automatically appearing</li>
  * </ul>
-
+ * Deprecated settings:
+ * <ul>
+ * *
+ * <li>DISCOVERY_START - Boolean - controls if discovery services are queried on
+ * startup (JWS1 services only)</li>
+ * <li>DISCOVERY_URLS - comma separated list of Discovery Service endpoints.
+ * (JWS1 services only)</li>
+ * <li>SHOW_JWS1_SERVICES (true) enable or disable the original Jalview 2
+ * services in the desktop GUI</li>
+ * <li>ENABLE_RSBS_EDITOR (false for 2.7 release) enable or disable RSBS editing
+ * panel in web service preferences</li>
+ * </ul>
+ * 
  * @author $author$
  * @version $Revision$
  */
@@ -98,15 +221,51 @@ public class Cache
    * property giving log4j level for CASTOR loggers
    */
   public static final String CASTORLOGLEVEL = "logs.Castor.level";
+
   /**
    * property giving log4j level for AXIS loggers
    */
-  public static final String AXISLOGLEVEL = "logs.Castor.level";
+  public static final String AXISLOGLEVEL = "logs.Axis.level";
+
   /**
    * property giving log4j level for Jalview Log
    */
   public static final String JALVIEWLOGLEVEL = "logs.Jalview.level";
-  public static final String DAS_LOCAL_SOURCE = "DAS_LOCAL_SOURCE";
+
+  /**
+   * Sifts settings
+   */
+  public static final String DEFAULT_SIFTS_DOWNLOAD_DIR = System
+          .getProperty("user.home") + File.separatorChar
+          + ".sifts_downloads" + File.separatorChar;
+
+  private final static String DEFAULT_CACHE_THRESHOLD_IN_DAYS = "2";
+
+  private final static String DEFAULT_FAIL_SAFE_PID_THRESHOLD = "30";
+
+  /**
+   * Identifiers.org download settings
+   */
+  private static final String ID_ORG_FILE = System.getProperty("user.home")
+          + File.separatorChar + ".identifiers.org.ids.json";
+
+  /**
+   * Allowed values are PDB or mmCIF
+   */
+  private final static String PDB_DOWNLOAD_FORMAT = PDBEntry.Type.MMCIF
+          .toString();
+
+  private final static String DEFAULT_PDB_FILE_PARSER = StructureImportSettings.StructureParser.JMOL_PARSER
+          .toString();
+
+  /*
+   * a date formatter using a fixed (rather than the user's) locale; 
+   * this ensures that date properties can be written and re-read successfully
+   * even if the user changes their locale setting
+   */
+  private static final DateFormat date_format = SimpleDateFormat
+          .getDateTimeInstance(SimpleDateFormat.MEDIUM,
+                  SimpleDateFormat.MEDIUM, Locale.UK);
 
   /**
    * Initialises the Jalview Application Log
@@ -114,153 +273,231 @@ public class Cache
   public static Logger log;
 
   /** Jalview Properties */
-  public static Properties applicationProperties = new Properties();
+  public static Properties applicationProperties = new Properties()
+  {
+    // override results in properties output in alphabetical order
+    @Override
+    public synchronized Enumeration<Object> keys()
+    {
+      return Collections.enumeration(new TreeSet<>(super.keySet()));
+    }
+  };
 
-  /** Default file is  ~/.jalview_properties */
+  /** Default file is ~/.jalview_properties */
   static String propertiesFile;
 
+  private static boolean propsAreReadOnly = false;
+
   public static void initLogger()
   {
+    if (log != null)
+    {
+      return;
+    }
     try
     {
+      // TODO: redirect stdout and stderr here in order to grab the output of
+      // the log
+
       ConsoleAppender ap = new ConsoleAppender(new SimpleLayout(),
-      "System.err");
+              "System.err");
       ap.setName("JalviewLogger");
-      org.apache.log4j.Logger.getRootLogger().addAppender(ap); // catch all for log output
+      org.apache.log4j.Logger.getRootLogger().addAppender(ap); // catch all for
+      // log output
       Logger laxis = Logger.getLogger("org.apache.axis");
       Logger lcastor = Logger.getLogger("org.exolab.castor");
       jalview.bin.Cache.log = Logger.getLogger("jalview.bin.Jalview");
 
-      laxis.setLevel(Level.toLevel(Cache.getDefault("logs.Axis.Level",
-          Level.INFO.toString())));
+      laxis.setLevel(Level.toLevel(
+              Cache.getDefault("logs.Axis.Level", Level.INFO.toString())));
       lcastor.setLevel(Level.toLevel(Cache.getDefault("logs.Castor.Level",
-          Level.INFO.toString())));
+              Level.INFO.toString())));
       lcastor = Logger.getLogger("org.exolab.castor.xml");
       lcastor.setLevel(Level.toLevel(Cache.getDefault("logs.Castor.Level",
               Level.INFO.toString())));
-      jalview.bin.Cache.log.setLevel(Level.toLevel(Cache.getDefault(
-          "logs.Jalview.level",
-          Level.INFO.toString())));
-      //laxis.addAppender(ap);
-      //lcastor.addAppender(ap);
-      //jalview.bin.Cache.log.addAppender(ap);
+      // lcastor = Logger.getLogger("org.exolab.castor.xml.Marshaller");
+      // lcastor.setLevel(Level.toLevel(Cache.getDefault("logs.Castor.Level",
+      // Level.INFO.toString())));
+      // we shouldn't need to do this
+      org.apache.log4j.Logger.getRootLogger()
+              .setLevel(org.apache.log4j.Level.INFO);
+
+      jalview.bin.Cache.log.setLevel(Level.toLevel(Cache
+              .getDefault("logs.Jalview.level", Level.INFO.toString())));
+      // laxis.addAppender(ap);
+      // lcastor.addAppender(ap);
+      // jalview.bin.Cache.log.addAppender(ap);
       // Tell the user that debug is enabled
       jalview.bin.Cache.log.debug("Jalview Debugging Output Follows.");
-    }
-    catch (Exception ex)
+    } catch (Exception ex)
     {
       System.err.println("Problems initializing the log4j system\n");
       ex.printStackTrace(System.err);
     }
   }
 
-  /** Called when Jalview is started */
+  /**
+   * Loads properties from the given properties file. Any existing properties
+   * are first cleared.
+   */
   public static void loadProperties(String propsFile)
   {
     propertiesFile = propsFile;
     if (propsFile == null)
     {
-      propertiesFile = System.getProperty("user.home") + File.separatorChar +
-          ".jalview_properties";
+      propertiesFile = System.getProperty("user.home") + File.separatorChar
+              + ".jalview_properties";
+    }
+    else
+    {
+      // don't corrupt the file we've been given.
+      propsAreReadOnly = true;
     }
 
     try
     {
-      FileInputStream fis = new FileInputStream(propertiesFile);
+      InputStream fis;
+      try
+      {
+        fis = new java.net.URL(propertiesFile).openStream();
+        System.out.println(
+                "Loading jalview properties from : " + propertiesFile);
+        System.out.println(
+                "Disabling Jalview writing to user's local properties file.");
+        propsAreReadOnly = true;
+
+      } catch (Exception ex)
+      {
+        fis = null;
+      }
+      if (fis == null)
+      {
+        fis = new FileInputStream(propertiesFile);
+      }
+      applicationProperties.clear();
       applicationProperties.load(fis);
-      applicationProperties.remove("LATEST_VERSION");
-      applicationProperties.remove("VERSION");
+
+      // remove any old build properties
+
+      deleteBuildProperties();
       fis.close();
-    }
-    catch (Exception ex)
+    } catch (Exception ex)
     {
       System.out.println("Error reading properties file: " + ex);
     }
 
     if (getDefault("USE_PROXY", false))
     {
-      System.out.println("Using proxyServer: " + getDefault("PROXY_SERVER", null) +
-                         " proxyPort: " + getDefault("PROXY_PORT", null));
-      System.setProperty("http.proxyHost", getDefault("PROXY_SERVER", null));
-      System.setProperty("http.proxyPort", getDefault("PROXY_PORT", null));
+      String proxyServer = getDefault("PROXY_SERVER", ""),
+              proxyPort = getDefault("PROXY_PORT", "8080");
+
+      System.out.println("Using proxyServer: " + proxyServer
+              + " proxyPort: " + proxyPort);
+
+      System.setProperty("http.proxyHost", proxyServer);
+      System.setProperty("http.proxyPort", proxyPort);
     }
 
-    // FIND THE VERSION NUMBER AND BUILD DATE FROM jalview.jar
-    // MUST FOLLOW READING OF LOCAL PROPERTIES FILE AS THE
-    // VERSION MAY HAVE CHANGED SINCE LAST USING JALVIEW
+    // LOAD THE AUTHORS FROM THE authors.props file
     try
     {
-      String buildDetails = "jar:"
-          .concat(
-              Cache.class.getProtectionDomain().getCodeSource().getLocation().
-              toString()
-              .concat("!/.build_properties")
-          );
+      String authorDetails = "jar:"
+              .concat(Cache.class.getProtectionDomain().getCodeSource()
+                      .getLocation().toString().concat("!/authors.props"));
 
-      java.net.URL localJarFileURL = new java.net.URL(buildDetails);
+      java.net.URL localJarFileURL = new java.net.URL(authorDetails);
 
       InputStream in = localJarFileURL.openStream();
       applicationProperties.load(in);
       in.close();
-    }
-    catch (Exception ex)
+    } catch (Exception ex)
     {
-      System.out.println("Error reading build details: " + ex);
-      applicationProperties.remove("VERSION");
+      System.out.println("Error reading author details: " + ex);
+      applicationProperties.remove("AUTHORS");
+      applicationProperties.remove("AUTHORFNAMES");
+      applicationProperties.remove("YEAR");
     }
 
-    String jnlpVersion = System.getProperty("jalview.version");
-    String codeVersion = getProperty("VERSION");
+    loadBuildProperties(false);
 
-    if (codeVersion == null)
-    {
-      // THIS SHOULD ONLY BE THE CASE WHEN TESTING!!
-      codeVersion = "Test";
-      jnlpVersion = "Test";
-    }
+    SiftsSettings
+            .setMapWithSifts(Cache.getDefault("MAP_WITH_SIFTS", false));
 
-    System.out.println("Jalview Version: " + codeVersion);
+    SiftsSettings.setSiftDownloadDirectory(jalview.bin.Cache
+            .getDefault("sifts_download_dir", DEFAULT_SIFTS_DOWNLOAD_DIR));
 
-    // jnlpVersion will be null if we're using InstallAnywhere
+    SiftsSettings.setFailSafePIDThreshold(
+            jalview.bin.Cache.getDefault("sifts_fail_safe_pid_threshold",
+                    DEFAULT_FAIL_SAFE_PID_THRESHOLD));
+
+    SiftsSettings.setCacheThresholdInDays(
+            jalview.bin.Cache.getDefault("sifts_cache_threshold_in_days",
+                    DEFAULT_CACHE_THRESHOLD_IN_DAYS));
+
+    IdOrgSettings.setUrl(getDefault("ID_ORG_HOSTURL",
+            "https://www.jalview.org/services/identifiers"));
+    IdOrgSettings.setDownloadLocation(ID_ORG_FILE);
+
+    StructureImportSettings.setDefaultStructureFileFormat(jalview.bin.Cache
+            .getDefault("PDB_DOWNLOAD_FORMAT", PDB_DOWNLOAD_FORMAT));
+    StructureImportSettings
+            .setDefaultPDBFileParser(DEFAULT_PDB_FILE_PARSER);
+    // StructureImportSettings
+    // .setDefaultPDBFileParser(jalview.bin.Cache.getDefault(
+    // "DEFAULT_PDB_FILE_PARSER", DEFAULT_PDB_FILE_PARSER));
+
+    String jnlpVersion = System.getProperty("jalview.version");
+
+    // jnlpVersion will be null if a latest version check for the channel needs
+    // to be done
     // Dont do this check if running in headless mode
-    if (jnlpVersion == null && (
-        System.getProperty("java.awt.headless") == null
-        || System.getProperty("java.awt.headless").equals("false")))
+
+    if (jnlpVersion == null && getDefault("VERSION_CHECK", true)
+            && (System.getProperty("java.awt.headless") == null || System
+                    .getProperty("java.awt.headless").equals("false")))
     {
 
-      class VersionChecker
-          extends Thread
+      class VersionChecker extends Thread
       {
+
+        @Override
         public void run()
         {
-          String jnlpVersion = null;
-          try
+          String buildPropertiesUrl = Cache.getAppbaseBuildProperties();
+
+          String orgtimeout = System
+                  .getProperty("sun.net.client.defaultConnectTimeout");
+          if (orgtimeout == null)
           {
-            java.net.URL url = new java.net.URL(
-                "http://www.jalview.org/webstart/jalview.jnlp");
-            BufferedReader in = new BufferedReader(new InputStreamReader(url.
-                openStream()));
-            String line = null;
-            while ( (line = in.readLine()) != null)
-            {
-              if (line.indexOf("jalview.version") == -1)
-              {
-                continue;
-              }
-
-              line = line.substring(line.indexOf("value=") + 7);
-              line = line.substring(0, line.lastIndexOf("\""));
-              jnlpVersion = line;
-              break;
-            }
+            orgtimeout = "30";
+            System.out.println("# INFO: Setting default net timeout to "
+                    + orgtimeout + " seconds.");
           }
-          catch (Exception ex)
+          String remoteVersion = null;
+          try
+          {
+            System.setProperty("sun.net.client.defaultConnectTimeout",
+                    "5000");
+            java.net.URL url = new java.net.URL(buildPropertiesUrl);
+
+            BufferedReader in = new BufferedReader(
+                    new InputStreamReader(url.openStream()));
+
+            Properties remoteBuildProperties = new Properties();
+            remoteBuildProperties.load(in);
+            remoteVersion = remoteBuildProperties.getProperty("VERSION");
+          } catch (Exception ex)
           {
+            System.out
+                    .println("Non-fatal exception when checking version at "
+                            + buildPropertiesUrl + ":");
             System.out.println(ex);
-            jnlpVersion = getProperty("VERSION");
+            remoteVersion = getProperty("VERSION");
           }
+          System.setProperty("sun.net.client.defaultConnectTimeout",
+                  orgtimeout);
 
-          setProperty("LATEST_VERSION", jnlpVersion);
+          setProperty("LATEST_VERSION", remoteVersion);
         }
       }
 
@@ -279,20 +516,75 @@ public class Cache
       }
     }
 
+    // LOAD USERDEFINED COLOURS
+    jalview.bin.Cache
+            .initUserColourSchemes(getProperty("USER_DEFINED_COLOURS"));
+    jalview.io.PIRFile.useModellerOutput = Cache.getDefault("PIR_MODELLER",
+            false);
+  }
+
+  public static void loadBuildProperties(boolean reportVersion)
+  {
+    String codeInstallation = getProperty("INSTALLATION");
+    boolean printV = codeInstallation == null;
+
+    // FIND THE VERSION NUMBER AND BUILD DATE FROM jalview.jar
+    try
+    {
+      String buildDetails = "jar:".concat(Cache.class.getProtectionDomain()
+              .getCodeSource().getLocation().toString()
+              .concat("!/.build_properties"));
+
+      java.net.URL localJarFileURL = new java.net.URL(buildDetails);
+
+      InputStream in = localJarFileURL.openStream();
+      applicationProperties.load(in);
+      in.close();
+    } catch (Exception ex)
+    {
+      System.out.println("Error reading build details: " + ex);
+      applicationProperties.remove("VERSION");
+    }
+    String codeVersion = getProperty("VERSION");
+    codeInstallation = getProperty("INSTALLATION");
+
+    if (codeVersion == null)
+    {
+      // THIS SHOULD ONLY BE THE CASE WHEN TESTING!!
+      codeVersion = "Test";
+      codeInstallation = "";
+    }
+    else
+    {
+      codeInstallation = " (" + codeInstallation + ")";
+    }
     setProperty("VERSION", codeVersion);
+    new BuildDetails(codeVersion, null, codeInstallation);
+    if (printV && reportVersion)
+    {
+      System.out.println(
+              "Jalview Version: " + codeVersion + codeInstallation);
+    }
+  }
 
-    //LOAD USERDEFINED COLOURS
-    jalview.gui.UserDefinedColours.initUserColourSchemes(getProperty(
-        "USER_DEFINED_COLOURS"));
-    jalview.io.PIRFile.useModellerOutput = Cache.getDefault("PIR_MODELLER", false);
+  private static void deleteBuildProperties()
+  {
+    applicationProperties.remove("LATEST_VERSION");
+    applicationProperties.remove("VERSION");
+    applicationProperties.remove("AUTHORS");
+    applicationProperties.remove("AUTHORFNAMES");
+    applicationProperties.remove("YEAR");
+    applicationProperties.remove("BUILD_DATE");
+    applicationProperties.remove("INSTALLATION");
   }
 
   /**
-   * Gets Jalview application property of given key. Returns null
-   * if key not found
-   *
-   * @param key Name of property
-   *
+   * Gets Jalview application property of given key. Returns null if key not
+   * found
+   * 
+   * @param key
+   *          Name of property
+   * 
    * @return Property value
    */
   public static String getProperty(String key)
@@ -300,8 +592,9 @@ public class Cache
     return applicationProperties.getProperty(key);
   }
 
-  /** These methods are used when checking if the saved preference
-   * is different to the default setting
+  /**
+   * These methods are used when checking if the saved preference is different
+   * to the default setting
    */
 
   public static boolean getDefault(String property, boolean def)
@@ -315,8 +608,27 @@ public class Cache
     return def;
   }
 
-  /** These methods are used when checking if the saved preference
-   * is different to the default setting
+  public static int getDefault(String property, int def)
+  {
+    String string = getProperty(property);
+    if (string != null)
+    {
+      try
+      {
+        def = Integer.parseInt(string);
+      } catch (NumberFormatException e)
+      {
+        System.out.println("Error parsing int property '" + property
+                + "' with value '" + string + "'");
+      }
+    }
+
+    return def;
+  }
+
+  /**
+   * These methods are used when checking if the saved preference is different
+   * to the default setting
    */
   public static String getDefault(String property, String def)
   {
@@ -331,40 +643,61 @@ public class Cache
 
   /**
    * Stores property in the file "HOME_DIR/.jalview_properties"
-   *
-   * @param key Name of object
-   * @param obj String value of property
-   *
-   * @return String value of property
+   * 
+   * @param key
+   *          Name of object
+   * @param obj
+   *          String value of property
+   * 
+   * @return previous value of property (or null)
    */
-  public static String setProperty(String key, String obj)
+  public static Object setProperty(String key, String obj)
   {
+    Object oldValue = null;
     try
     {
-      FileOutputStream out = new FileOutputStream(propertiesFile);
-      applicationProperties.setProperty(key, obj);
-      applicationProperties.store(out, "---JalviewX Properties File---");
-      out.close();
-    }
-    catch (Exception ex)
+      oldValue = applicationProperties.setProperty(key, obj);
+      if (propertiesFile != null && !propsAreReadOnly)
+      {
+        FileOutputStream out = new FileOutputStream(propertiesFile);
+        applicationProperties.store(out, "---JalviewX Properties File---");
+        out.close();
+      }
+    } catch (Exception ex)
     {
-      System.out.println("Error setting property: " + key + " " + obj + "\n" +
-                         ex);
+      System.out.println(
+              "Error setting property: " + key + " " + obj + "\n" + ex);
     }
-    return obj;
+    return oldValue;
+  }
+
+  /**
+   * remove the specified property from the jalview properties file
+   * 
+   * @param string
+   */
+  public static void removeProperty(String string)
+  {
+    applicationProperties.remove(string);
+    saveProperties();
   }
 
+  /**
+   * save the properties to the jalview properties path
+   */
   public static void saveProperties()
   {
-    try
+    if (!propsAreReadOnly)
     {
-      FileOutputStream out = new FileOutputStream(propertiesFile);
-      applicationProperties.store(out, "---JalviewX Properties File---");
-      out.close();
-    }
-    catch (Exception ex)
-    {
-      System.out.println("Error saving properties: " + ex);
+      try
+      {
+        FileOutputStream out = new FileOutputStream(propertiesFile);
+        applicationProperties.store(out, "---JalviewX Properties File---");
+        out.close();
+      } catch (Exception ex)
+      {
+        System.out.println("Error saving properties: " + ex);
+      }
     }
   }
 
@@ -372,8 +705,10 @@ public class Cache
    * internal vamsas class discovery state
    */
   private static int vamsasJarsArePresent = -1;
+
   /**
    * Searches for vamsas client classes on class path.
+   * 
    * @return true if vamsas client is present on classpath
    */
   public static boolean vamsasJarsPresent()
@@ -382,22 +717,21 @@ public class Cache
     {
       try
       {
-        if (jalview.jbgui.GDesktop.class.getClassLoader().loadClass(
-            "uk.ac.vamsas.client.VorbaId") != null)
+        if (jalview.jbgui.GDesktop.class.getClassLoader()
+                .loadClass("uk.ac.vamsas.client.VorbaId") != null)
         {
           jalview.bin.Cache.log.debug(
-              "Found Vamsas Classes (uk.ac..vamsas.client.VorbaId can be loaded)");
+                  "Found Vamsas Classes (uk.ac..vamsas.client.VorbaId can be loaded)");
           vamsasJarsArePresent = 1;
           Logger lvclient = Logger.getLogger("uk.ac.vamsas");
-          lvclient.setLevel(Level.toLevel(Cache.getDefault("logs.Vamsas.Level",
-              Level.INFO.toString())));
+          lvclient.setLevel(Level.toLevel(Cache
+                  .getDefault("logs.Vamsas.Level", Level.INFO.toString())));
 
           lvclient.addAppender(log.getAppender("JalviewLogger"));
           // Tell the user that debug is enabled
           lvclient.debug("Jalview Vamsas Client Debugging Output Follows.");
         }
-      }
-      catch (Exception e)
+      } catch (Exception e)
       {
         vamsasJarsArePresent = 0;
         jalview.bin.Cache.log.debug("Vamsas Classes are not present");
@@ -405,12 +739,15 @@ public class Cache
     }
     return (vamsasJarsArePresent > 0);
   }
+
   /**
    * internal vamsas class discovery state
    */
   private static int groovyJarsArePresent = -1;
+
   /**
    * Searches for vamsas client classes on class path.
+   * 
    * @return true if vamsas client is present on classpath
    */
   public static boolean groovyJarsPresent()
@@ -419,22 +756,25 @@ public class Cache
     {
       try
       {
-        if (Cache.class.getClassLoader().loadClass(
-            "groovy.lang.GroovyObject") != null)
+        if (Cache.class.getClassLoader()
+                .loadClass("groovy.lang.GroovyObject") != null)
         {
           jalview.bin.Cache.log.debug(
-              "Found Groovy (groovy.lang.GroovyObject can be loaded)");
+                  "Found Groovy (groovy.lang.GroovyObject can be loaded)");
           groovyJarsArePresent = 1;
           Logger lgclient = Logger.getLogger("groovy");
-          lgclient.setLevel(Level.toLevel(Cache.getDefault("logs.Groovy.Level",
-              Level.INFO.toString())));
+          lgclient.setLevel(Level.toLevel(Cache
+                  .getDefault("logs.Groovy.Level", Level.INFO.toString())));
 
           lgclient.addAppender(log.getAppender("JalviewLogger"));
           // Tell the user that debug is enabled
           lgclient.debug("Jalview Groovy Client Debugging Output Follows.");
         }
-      }
-      catch (Exception e)
+      } catch (Error e)
+      {
+        groovyJarsArePresent = 0;
+        jalview.bin.Cache.log.debug("Groovy Classes are not present", e);
+      } catch (Exception e)
       {
         groovyJarsArePresent = 0;
         jalview.bin.Cache.log.debug("Groovy Classes are not present");
@@ -443,4 +783,449 @@ public class Cache
     return (groovyJarsArePresent > 0);
   }
 
+  /**
+   * GA tracker object - actually JGoogleAnalyticsTracker null if tracking not
+   * enabled.
+   */
+  protected static Object tracker = null;
+
+  protected static Class trackerfocus = null;
+
+  protected static Class jgoogleanalyticstracker = null;
+
+  /**
+   * Initialise the google tracker if it is not done already.
+   */
+  public static void initGoogleTracker()
+  {
+    if (tracker == null)
+    {
+      if (jgoogleanalyticstracker == null)
+      {
+        // try to get the tracker class
+        try
+        {
+          jgoogleanalyticstracker = Cache.class.getClassLoader().loadClass(
+                  "com.boxysystems.jgoogleanalytics.JGoogleAnalyticsTracker");
+          trackerfocus = Cache.class.getClassLoader()
+                  .loadClass("com.boxysystems.jgoogleanalytics.FocusPoint");
+        } catch (Exception e)
+        {
+          log.debug(
+                  "com.boxysystems.jgoogleanalytics package is not present - tracking not enabled.");
+          tracker = null;
+          jgoogleanalyticstracker = null;
+          trackerfocus = null;
+          return;
+        }
+      }
+      // now initialise tracker
+      Exception re = null, ex = null;
+      Error err = null;
+      String vrs = "No Version Accessible";
+      try
+      {
+        // Google analytics tracking code for Library Finder
+        tracker = jgoogleanalyticstracker
+                .getConstructor(new Class[]
+                { String.class, String.class, String.class })
+                .newInstance(new Object[]
+                { "Jalview Desktop",
+                    (vrs = jalview.bin.Cache.getProperty("VERSION") + "_"
+                            + jalview.bin.Cache.getDefault("BUILD_DATE",
+                                    "unknown")),
+                    "UA-9060947-1" });
+        jgoogleanalyticstracker
+                .getMethod("trackAsynchronously", new Class[]
+                { trackerfocus })
+                .invoke(tracker, new Object[]
+                { trackerfocus.getConstructor(new Class[] { String.class })
+                        .newInstance(new Object[]
+                        { "Application Started." }) });
+      } catch (RuntimeException e)
+      {
+        re = e;
+      } catch (Exception e)
+      {
+        ex = e;
+      } catch (Error e)
+      {
+        err = e;
+      }
+      if (re != null || ex != null || err != null)
+      {
+        if (log != null)
+        {
+          if (re != null)
+          {
+            log.debug("Caught runtime exception in googletracker init:",
+                    re);
+          }
+          if (ex != null)
+          {
+            log.warn(
+                    "Failed to initialise GoogleTracker for Jalview Desktop with version "
+                            + vrs,
+                    ex);
+          }
+          if (err != null)
+          {
+            log.error(
+                    "Whilst initing GoogleTracker for Jalview Desktop version "
+                            + vrs,
+                    err);
+          }
+        }
+        else
+        {
+          if (re != null)
+          {
+            System.err.println(
+                    "Debug: Caught runtime exception in googletracker init:"
+                            + vrs);
+            re.printStackTrace();
+          }
+          if (ex != null)
+          {
+            System.err.println(
+                    "Warning:  Failed to initialise GoogleTracker for Jalview Desktop with version "
+                            + vrs);
+            ex.printStackTrace();
+          }
+
+          if (err != null)
+          {
+            System.err.println(
+                    "ERROR: Whilst initing GoogleTracker for Jalview Desktop version "
+                            + vrs);
+            err.printStackTrace();
+          }
+        }
+      }
+      else
+      {
+        log.debug("Successfully initialised tracker.");
+      }
+    }
+  }
+
+  /**
+   * get the user's default colour if available
+   * 
+   * @param property
+   * @param defcolour
+   * @return
+   */
+  public static Color getDefaultColour(String property, Color defcolour)
+  {
+    String colprop = getProperty(property);
+    if (colprop == null)
+    {
+      return defcolour;
+    }
+    Color col = ColorUtils.parseColourString(colprop);
+    if (col == null)
+    {
+      log.warn("Couldn't parse '" + colprop + "' as a colour for "
+              + property);
+    }
+    return (col == null) ? defcolour : col;
+  }
+
+  /**
+   * store a colour as a Jalview user default property
+   * 
+   * @param property
+   * @param colour
+   */
+  public static void setColourProperty(String property, Color colour)
+  {
+    setProperty(property, jalview.util.Format.getHexString(colour));
+  }
+
+  /**
+   * Stores a formatted date in a jalview property, using a fixed locale.
+   * 
+   * @param propertyName
+   * @param date
+   * @return the formatted date string
+   */
+  public static String setDateProperty(String propertyName, Date date)
+  {
+    String formatted = date_format.format(date);
+    setProperty(propertyName, formatted);
+    return formatted;
+  }
+
+  /**
+   * Reads a date stored in a Jalview property, parses it (using a fixed locale
+   * format) and returns as a Date, or null if parsing fails
+   * 
+   * @param propertyName
+   * @return
+   * 
+   */
+  public static Date getDateProperty(String propertyName)
+  {
+    String val = getProperty(propertyName);
+    if (val != null)
+    {
+      try
+      {
+        return date_format.parse(val);
+      } catch (Exception ex)
+      {
+        System.err.println("Invalid or corrupt date in property '"
+                + propertyName + "' : value was '" + val + "'");
+      }
+    }
+    return null;
+  }
+
+  /**
+   * get and parse a property as an integer. send any parsing problems to
+   * System.err
+   * 
+   * @param property
+   * @return null or Integer
+   */
+  public static Integer getIntegerProperty(String property)
+  {
+    String val = getProperty(property);
+    if (val != null && (val = val.trim()).length() > 0)
+    {
+      try
+      {
+        return Integer.valueOf(val);
+      } catch (NumberFormatException x)
+      {
+        System.err.println("Invalid integer in property '" + property
+                + "' (value was '" + val + "')");
+      }
+    }
+    return null;
+  }
+
+  /**
+   * Set the specified value, or remove it if null or empty. Does not save the
+   * properties file.
+   * 
+   * @param propName
+   * @param value
+   */
+  public static void setOrRemove(String propName, String value)
+  {
+    if (propName == null)
+    {
+      return;
+    }
+    if (value == null || value.trim().length() < 1)
+    {
+      Cache.applicationProperties.remove(propName);
+    }
+    else
+    {
+      Cache.applicationProperties.setProperty(propName, value);
+    }
+  }
+
+  /**
+   * Loads in user colour schemes from files.
+   * 
+   * @param files
+   *          a '|'-delimited list of file paths
+   */
+  public static void initUserColourSchemes(String files)
+  {
+    if (files == null || files.length() == 0)
+    {
+      return;
+    }
+
+    // In case colours can't be loaded, we'll remove them
+    // from the default list here.
+    StringBuffer coloursFound = new StringBuffer();
+    StringTokenizer st = new StringTokenizer(files, "|");
+    while (st.hasMoreElements())
+    {
+      String file = st.nextToken();
+      try
+      {
+        UserColourScheme ucs = ColourSchemeLoader.loadColourScheme(file);
+        if (ucs != null)
+        {
+          if (coloursFound.length() > 0)
+          {
+            coloursFound.append("|");
+          }
+          coloursFound.append(file);
+          ColourSchemes.getInstance().registerColourScheme(ucs);
+        }
+      } catch (Exception ex)
+      {
+        System.out.println("Error loading User ColourFile\n" + ex);
+      }
+    }
+    if (!files.equals(coloursFound.toString()))
+    {
+      if (coloursFound.toString().length() > 1)
+      {
+        setProperty(UserDefinedColours.USER_DEFINED_COLOURS,
+                coloursFound.toString());
+      }
+      else
+      {
+        applicationProperties
+                .remove(UserDefinedColours.USER_DEFINED_COLOURS);
+      }
+    }
+  }
+
+  /**
+   * Initial logging information helper for various versions output
+   * 
+   * @param prefix
+   * @param value
+   * @param defaultValue
+   */
+  private static void appendIfNotNull(StringBuilder sb, String prefix,
+          String value, String suffix, String defaultValue)
+  {
+    if (value == null && defaultValue == null)
+    {
+      return;
+    }
+    String line = prefix + (value != null ? value : defaultValue) + suffix;
+    sb.append(line);
+  }
+
+  /**
+   * 
+   * @return Jalview version, build details and JVM platform version for console
+   */
+  public static String getVersionDetailsForConsole()
+  {
+    StringBuilder sb = new StringBuilder();
+    sb.append("Jalview Version: ");
+    sb.append(jalview.bin.Cache.getDefault("VERSION", "TEST"));
+    sb.append("\n");
+    sb.append("Jalview Installation: ");
+    sb.append(jalview.bin.Cache.getDefault("INSTALLATION", "unknown"));
+    sb.append("\n");
+    sb.append("Build Date: ");
+    sb.append(jalview.bin.Cache.getDefault("BUILD_DATE", "unknown"));
+    sb.append("\n");
+    sb.append("Java version: ");
+    sb.append(System.getProperty("java.version"));
+    sb.append("\n");
+    sb.append(System.getProperty("os.arch"));
+    sb.append(" ");
+    sb.append(System.getProperty("os.name"));
+    sb.append(" ");
+    sb.append(System.getProperty("os.version"));
+    sb.append("\n");
+    appendIfNotNull(sb, "Install4j version: ",
+            System.getProperty("sys.install4jVersion"), "\n", null);
+    appendIfNotNull(sb, "Install4j template version: ",
+            System.getProperty("installer_template_version"), "\n", null);
+    appendIfNotNull(sb, "Launcher version: ",
+            System.getProperty("launcher_version"), "\n", null);
+    LookAndFeel laf = UIManager.getLookAndFeel();
+    String lafName = laf == null ? "Not obtained" : laf.getName();
+    String lafClass = laf == null ? "unknown" : laf.getClass().getName();
+    sb.append("LookAndFeel: ");
+    sb.append(lafName);
+    sb.append(" (");
+    sb.append(lafClass);
+    sb.append(")\n");
+    // Not displayed in release version ( determined by possible version number
+    // regex 9[9.]*9[.-_a9]* )
+    if (Pattern.matches("^\\d[\\d\\.]*\\d[\\.\\-\\w]*$",
+            jalview.bin.Cache.getDefault("VERSION", "TEST")))
+    {
+      appendIfNotNull(sb, "Getdown appdir: ",
+              System.getProperty("getdownappdir"), "\n", null);
+      appendIfNotNull(sb, "Getdown appbase: ",
+              System.getProperty("getdownappbase"), "\n", null);
+      appendIfNotNull(sb, "Java home: ", System.getProperty("java.home"),
+              "\n", "unknown");
+    }
+    return sb.toString();
+  }
+
+  /**
+   * 
+   * @return build details as reported in splashscreen
+   */
+  public static String getBuildDetailsForSplash()
+  {
+    // consider returning more human friendly info
+    // eg 'built from Source' or update channel
+    return jalview.bin.Cache.getDefault("INSTALLATION", "unknown");
+  }
+
+  public static String getStackTraceString(Throwable t)
+  {
+    StringWriter sw = new StringWriter();
+    PrintWriter pw = new PrintWriter(sw);
+    t.printStackTrace(pw);
+    return sw.toString();
+  }
+
+  /**
+   * Getdown appbase methods
+   */
+
+  private static final String releaseAppbase;
+
+  private static String getdownAppbase;
+
+  private static String getdownDistDir;
+
+  static
+  {
+    Float specversion = Float
+            .parseFloat(System.getProperty("java.specification.version"));
+    releaseAppbase = (specversion < 9)
+            ? "https://www.jalview.org/getdown/release/1.8"
+            : "https://www.jalview.org/getdown/release/11";
+  }
+
+  // look for properties (passed in by getdown) otherwise default to release
+  private static void setGetdownAppbase()
+  {
+    if (getdownAppbase != null)
+    {
+      return;
+    }
+    String appbase = System.getProperty("getdownappbase");
+    String distDir = System.getProperty("getdowndistdir");
+    if (appbase == null)
+    {
+      appbase = releaseAppbase;
+      distDir = "release";
+    }
+    if (appbase.endsWith("/"))
+    {
+      appbase = appbase.substring(0, appbase.length() - 1);
+    }
+    if (distDir == null)
+    {
+      distDir = appbase.equals(releaseAppbase) ? "release" : "alt";
+    }
+    getdownAppbase = appbase;
+    getdownDistDir = distDir;
+  }
+
+  public static String getGetdownAppbase()
+  {
+    setGetdownAppbase();
+    return getdownAppbase;
+  }
+
+  public static String getAppbaseBuildProperties()
+  {
+    String appbase = getGetdownAppbase();
+    return appbase + "/" + getdownDistDir + "/build_properties";
+  }
 }