public static Cons javaWrapWithNativeValueExtraction(Cons tree, StandardObject primaryreturntype) {
    { StringWrapper wrappertype = null;
      StringWrapper extractorname = null;

      { Object [] caller_MV_returnarray = new Object[1];

        wrappertype = StandardObject.javaNativeLiteralWrapperNames(primaryreturntype, caller_MV_returnarray);
        extractorname = ((StringWrapper)(caller_MV_returnarray[0]));
      }
      return (Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_METHOD_CALL, Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_IDENT, Cons.cons(StringWrapper.wrapString(""), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_IDENT, Cons.cons(extractorname, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_CAST, Cons.cons(tree, Cons.cons(Cons.cons(wrappertype, Stella.NIL), Stella.NIL)))), Cons.cons(Cons.cons(Stella.SYM_STELLA_JAVA_ACTUALS, Stella.NIL), Cons.cons(Stella.NIL, Stella.NIL))))))));
    }
  }