Index: /trunk/src/org/openstreetmap/josm/io/remotecontrol/RemoteControlHttpServer.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/io/remotecontrol/RemoteControlHttpServer.java	(revision 7033)
+++ /trunk/src/org/openstreetmap/josm/io/remotecontrol/RemoteControlHttpServer.java	(revision 7034)
@@ -83,5 +83,7 @@
              Integer.toString(server.getLocalPort()));
         while (true) {
-            try (Socket request = server.accept()) {
+            try {
+                @SuppressWarnings("resource")
+                Socket request = server.accept();
                 RequestProcessor.processRequest(request);
             } catch (SocketException se) {
Index: /trunk/src/org/openstreetmap/josm/io/remotecontrol/RemoteControlHttpsServer.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/io/remotecontrol/RemoteControlHttpsServer.java	(revision 7033)
+++ /trunk/src/org/openstreetmap/josm/io/remotecontrol/RemoteControlHttpsServer.java	(revision 7034)
@@ -176,5 +176,7 @@
              Integer.toString(server.getLocalPort()));
         while (true) {
-            try (Socket request = server.accept()) {
+            try {
+                @SuppressWarnings("resource")
+                Socket request = server.accept();
                 if (Main.isDebugEnabled() && request instanceof SSLSocket) {
                     SSLSocket sslSocket = (SSLSocket) request;