System.out.println ("orig length " + chars.length + " vs compressed " + compressedDataLength);
if (debug) System.out.println ("orig length " + chars.length + " vs compressed " + compressedDataLength);
  protected byte [] compressCharArray (char [] chars, ObjectOutput objectOutput) {    // Encode a String into bytes    String inputString = new String (chars);    try {      byte[] input = inputString.getBytes("UTF-8");      // Compress the bytes      byte[] output = new byte[2*chars.length+256];      Deflater compresser = new Deflater();      compresser.setInput(input);      compresser.finish();      int compressedDataLength = compresser.deflate(output);      System.out.println ("orig length " + chars.length + " vs compressed " + compressedDataLength);      objectOutput.writeInt (compressedDataLength); // write compressed length      objectOutput.writeInt (chars.length);         // write uncompressed length      objectOutput.write    (output, 0, compressedDataLength);      return output;    }    catch (Exception e) {      System.err.println ("Got exception serializing " + chars);      System.err.println ("It was " + e);      e.printStackTrace();      return new byte[0];    }  }