private void storeWrite () {
        try {
            if (localstorefile == null) return;
            PrintWriter writer = new PrintWriter(
                                                 new FileWriter(new File(localstorefile)));
            for (Enumeration e = localstore.keys(); e.hasMoreElements();) {
                String k = (String) e.nextElement();
                Object o = localstore.get(k);
                if (o instanceof Integer) {
                    writer.println(k + "\tint\t" + o);
                }
                else if (o instanceof Double) {
                    writer.println(k + "\tdouble\t" + o);
                }
                else if (o instanceof String) {
                    writer.println(k + "\tString\t" + o);
                }
            }
            writer.close();
        }
        catch (IOException e) {
            throw new JGameError("Error writing file '" + localstorefile + "'.", false);
        }
    }