code: protected static String uniqueClassName(String name) {
      // Make a unique class name
      String cname = xml2jname(name);
      if( CLASS_NAMES.contains(cname) ) {
        int i=0;
        while( CLASS_NAMES.contains(cname+i) ) i++;
        cname = cname+i;
      }
      CLASS_NAMES.add(cname);
      return cname;
    }
docs: Make a unique class name for jit'd subclasses of ScoreModel