code: public void readExternal(PofReader reader)
              throws IOException {
          super.readExternal(reader);
          navigator = (PofNavigator) reader.readObject(0);
      }
docs: Deserialize this object from a POF stream.
  
  @param reader POF reader to use
  
  @throws IOException if an error occurs during deserialization