public static Stella_Class defineClassFromStringifiedSource(String classname, String stringifiedsource) {
    { Stella_Class oldclass = Stella.getIdenticalClass(classname, stringifiedsource);
      Stella_Class newclass = null;

      if ((oldclass != null) &&
          (!Stella.$REDEFINE_IDENTICAL_CLASSESp$)) {
        return (oldclass);
      }
      newclass = Cons.helpDefineClassFromParseTree(((Cons)(Stella.unstringifyStellaSource(stringifiedsource, null))), stringifiedsource);
      return (newclass);
    }
  }