public static Cons javaTranslateWithNativeWrapper(Stella_Object tree, StandardObject type) {
    if (StandardObject.javaLiteralP(type)) {
      return (Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_MAKE, Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_IDENT, Cons.cons(StandardObject.javaNativeLiteralWrapperNames(type, new Object[1]), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_ACTUALS, Cons.cons(Stella_Object.javaTranslateATree(tree), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL))))));
    }
    else {
      return (((Cons)(Stella_Object.javaTranslateATree(tree))));
    }
  }