11001101110211031104110511061107110811091110
/** * Reloads options */ public static void reloadOptions() { try { options = new FileMuffin().loadFile("options.dat"); if (options == null) options = new HashMap<String,String>(); } catch (Exception e) { e.printStackTrace(); System.exit(32); }
4041424344454647484950
if (isWebstartAvailable()) { muffin = new WebstartMuffin(); } else { muffin = new FileMuffin(); } try { load(); } catch (IOException e) {