public static PropertyList getUnstringifiedClassOptions(Stella_Class renamed_Class) {
    { PropertyList theoptions = PropertyList.newPropertyList();

      theoptions.thePlist = ((Cons)(Stella.readSExpressionFromString(renamed_Class.classStringifiedSource))).rest.rest.rest;
      return (theoptions);
    }
  }