public static void maybeRenameLocalVariable(Symbol variable) {
    if (((Keyword)(Stella.$TRANSLATOROUTPUTLANGUAGE$.get())) == Stella.KWD_JAVA) {
      { KvCons cursor = ((KeyValueList)(Stella.$LOCALVARIABLETYPETABLE$.get())).theKvList;
        int level = -1;

        while (cursor != null) {
          if (Symbol.variableEqlP(((Symbol)(cursor.key)), variable)) {
            level = level + 1;
          }
          cursor = cursor.rest;
        }
        if (level >= 1) {
          Symbol.setLocalVariableInfo(variable, Stella.KWD_ALIAS, Symbol.yieldLocalVariableAlias(variable, level));
        }
      }
    }
  }