Build: compatibility with Java 7

h2/src/main/org/h2/server/web/WebApp.java

@@ -402,9 +402,10 @@ public class WebApp {
     }
 
     private String adminStartTranslate() {
+        Map<?, ?> p = Map.class.cast(session.map.get("text"));
         @SuppressWarnings("unchecked")
-        Map<Object, Object> p = Map.class.cast(session.map.get("text"));
-        String file = server.startTranslate(p);
+        Map<Object, Object> p2 = (Map<Object, Object>) p;
+        String file = server.startTranslate(p2);
         session.put("translationFile", file);
         return "helpTranslate.jsp";
     }

h2/src/main/org/h2/server/web/WebServlet.java

@@ -91,7 +91,7 @@ public class WebServlet extends HttpServlet {
             file = file.substring(1);
         }
         file = getAllowedFile(req, file);
-        
+
         // extract the request attributes
         Properties attributes = new Properties();
         Enumeration<?> en = req.getAttributeNames();
@@ -106,7 +106,7 @@ public class WebServlet extends HttpServlet {
             String value = req.getParameter(name);
             attributes.put(name, value);
         }
-        
+
         WebSession session = null;
         String sessionId = attributes.getProperty("jsessionid");
         if (sessionId != null) {