diff --git a/dev/core/src/com/google/gwt/dev/shell/jetty/JettyLauncher.java b/dev/core/src/com/google/gwt/dev/shell/jetty/JettyLauncher.java
index 317159c..f990610 100644
--- a/dev/core/src/com/google/gwt/dev/shell/jetty/JettyLauncher.java
+++ b/dev/core/src/com/google/gwt/dev/shell/jetty/JettyLauncher.java
@@ -293,9 +293,7 @@
       // Temporarily log Jetty on the branch.
       Log.setLog(new JettyTreeLogger(branch));
       try {
-        wac.stop();
         server.stop();
-        wac.start();
         server.start();
         branch.log(TreeLogger.INFO, "Reload completed successfully");
       } catch (Exception e) {