System.err.println ("inflateCharArray - inflating " + compressedDataLength + " bytes, uncompressed " + uncompressedDataLength);
if (debug) System.out.println ("inflateCharArray - inflating " + compressedDataLength + " bytes, uncompressed " + uncompressedDataLength);
  protected String inflateCharArrayToString (ObjectInput input) {    try {      int compressedDataLength   = input.readInt (); // read length      int uncompressedDataLength = input.readInt (); // uncompressed length      System.err.println ("inflateCharArray - inflating " + 			  compressedDataLength + " bytes, uncompressed " + 			  uncompressedDataLength);      byte [] output = new byte [compressedDataLength];      input.readFully (output, 0, compressedDataLength);           Inflater decompresser = new Inflater();      decompresser.setInput(output, 0, compressedDataLength);      byte[] result = new byte[uncompressedDataLength];      int resultLength = decompresser.inflate(result);      decompresser.end();      // Decode the bytes into a String      String outputString = new String(result);      return outputString;    } catch (Exception e) {      System.err.println ("Got exception inflating from stream, it was " + e);      e.printStackTrace();      return "";    }  }