1 files changed, 1 insertions, 1 deletions
diff --git a/java/test/Ice/faultTolerance/Server.java b/java/test/Ice/faultTolerance/Server.java
index c9a3b388600..043f29c7835 100644
--- a/java/test/Ice/faultTolerance/Server.java
+++ b/java/test/Ice/faultTolerance/Server.java
@@ -45,7 +45,7 @@ public class Server
             {
                 port = Integer.parseInt(args[i]);
             }
-            catch (NumberFormatException ex)
+            catch(NumberFormatException ex)
             {
                 System.err.println("Server: invalid port");
                 usage();