*/
  public static void javaTranslateSystem(String systemname) {
    Stella.translateSystem(systemname, Cons.cons(Stella.KWD_JAVA, Cons.cons(Stella.KWD_TWO_PASSp, Cons.cons(Stella.TRUE_WRAPPER, Cons.cons(Stella.KWD_FORCE_TRANSLATIONp, Cons.cons(Stella.TRUE_WRAPPER, Cons.cons(Stella.KWD_PRODUCTION_SETTINGSp, Cons.cons(Stella.TRUE_WRAPPER, Stella.NIL))))))));
  }