public static Cons javaTranslateSysSlotValue(Cons tree) {
    { Surrogate objecttype = ((Surrogate)(tree.rest.value));
      Stella_Object objectref = tree.fourth();
      Symbol slotname = Symbol.trueSlotName(((Symbol)(tree.rest.rest.value)), objecttype);
      Cons otree = Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_SLOT_VALUE, Cons.cons(Stella_Object.javaTranslateATree(objectref), Cons.cons(Cons.cons(Symbol.javaTranslateName(slotname), Stella.NIL), Stella.NIL))));

      return (otree);
    }
  }