public static Cons javaTranslateArefMethodCall(Symbol operator, Surrogate owner, Cons arguments) {
    if (owner == Stella.SGT_STELLA_ARRAY) {
      { boolean setterP = operator == Stella.SYM_STELLA_AREF_SETTER;
        Cons otree = Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_AREF, Cons.cons(Stella_Object.javaTranslateATree(arguments.value), Cons.cons(Cons.javaTranslateListOfTrees((setterP ? arguments.rest.rest : arguments.rest)).concatenate(Stella.NIL, Stella.NIL), Stella.NIL))));

        if (setterP) {
          otree = Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_ASSIGN, Cons.cons(otree, Cons.cons(Cons.cons(Stella_Object.javaTranslateATree(arguments.rest.value), Stella.NIL), Stella.NIL))));
        }
        return (otree);
      }
    }
    else {
      return (Symbol.javaTranslateNormalMethodCall(operator, owner, arguments));
    }
  }