public static StringWrapper javaTranslateName(Symbol namesymbol) {
    return (StringWrapper.wrapString(Stella.javaTranslateNamestring(GeneralizedSymbol.javaChangeCase(namesymbol, Stella.KWD_LOWERCASE))));
  }