}
session.withString("java", translator.isSuccess() ? translator.toJavaSource() : translator.errorMessage);
session.withString("html", RequestUtils.getParameter(html,"html"));
}
if ("back".equals(handle)) {
session.withString("java", null);
}
if (useTidy) {
session.withString("tidy", "on");
} else {
session.withString("tidy", null);