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);
	} }