public static int[] getSettingsInt(String s)
  {
    int[] empty;
    try {
      return (int[])(int[])settings.get(s);
    }
    catch (NullPointerException e)
    {
      console(new StringBuilder().append("Failed to read settings: ").append(s).toString());
      empty = new int[0];
    }return empty;
  }