w.write("end" + "\r\n");
w.write("end\r\n");
    public void save(OutputStream os) {        try {            Writer w = new OutputStreamWriter(os);            // write            w.write("size " + width + " " + height + "\r\n");            for(int i = 0; i < data.length; i++) {                Hex hex = data[i];                w.write("hex \"" + hex.getTerrain().name + "\" " + Terrain.TERRAIN_NAMES[hex.getTerrainType()] + " \"" + hex.getTerrain().picfile + "\" " + hex.getElevation() + "\r\n");            }            w.write("end" + "\r\n");            // make sure it's written            w.flush();        } catch(IOException ex) {            System.err.println("i/o error writing board");            System.err.println(ex);        }    }