docs: public void readExternal(ObjectInput in) throws IOException,
                                              ClassNotFoundException {
          super.readExternal( in );
          query = (QueryImpl) in.readObject();
          subrule = (GroupElement) in.readObject();
          subruleIndex = in.readInt();
          initDeclarations();
      }