Trying to get the XMLEncoder/Decoder to work. Moved the
readObject()/writeObject() statements from just before to just after the
catch block. Still getting an ArrayIndexOutOfBoundsException with the
counter.readObject().