static public void addLocation(Location newLocation)
  {
    Charset charset = Charset.forName("UTF-8");
    final File file = new File("VMlocations.ini");

    if (!file.exists())
      try
      {
        file.createNewFile();
      } catch (IOException ex)
      {
        Logger.getLogger(LocationsManager.class.getName()).log(Level.SEVERE, null, ex);
      }

    try (BufferedWriter writer = Files.newBufferedWriter(file.toPath(), charset, StandardOpenOption.APPEND))
    {
      writer.write(newLocation.toExport(), 0, newLocation.toExport().length());
    } catch (IOException x)
    {
      System.err.format("IOException: %s%n", x);
    }
  }