public static String javaTranslateNamestring(String namestring) {
    { String reservedname = Stella.javaLookupReservedWordTable(namestring);

      if (namestring == null) {
        return ("NULL");
      }
      if (reservedname != null) {
        return (reservedname);
      }
      return (Stella.javaSubstituteForbiddenCharacters(namestring, Stella.KWD_LOWERCASE));
    }
  }