public static KeyValueMap createSkolemMappingTable(Vector oldvars, Vector newvars) {
    { KeyValueMap mapping = null;

      { PatternVariable oldvar = null;
        Vector vector000 = oldvars;
        int index000 = 0;
        int length000 = vector000.length();
        PatternVariable newvar = null;
        Vector vector001 = newvars;
        int index001 = 0;
        int length001 = vector001.length();

        for (;(index000 < length000) &&
                  (index001 < length001); index000 = index000 + 1, index001 = index001 + 1) {
          oldvar = ((PatternVariable)((vector000.theArray)[index000]));
          newvar = ((PatternVariable)((vector001.theArray)[index001]));
          if (!(oldvar.skolemName == newvar.skolemName)) {
            if (mapping == null) {
              mapping = KeyValueMap.newKeyValueMap();
            }
            mapping.insertAt(oldvar, newvar);
          }
        }
      }
      return (mapping);
    }
  }