Fix build breakage introduced by 1.6 merge.
Patch by: jgw
Review by: jat (Desk check)


git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@4661 8db76d5a-ed1c-0410-87a9-c151d255dfc7
diff --git a/dev/oophm/overlay/com/google/gwt/dev/GWTShell.java b/dev/oophm/overlay/com/google/gwt/dev/GWTShell.java
index aed5b6c..f76cc25 100644
--- a/dev/oophm/overlay/com/google/gwt/dev/GWTShell.java
+++ b/dev/oophm/overlay/com/google/gwt/dev/GWTShell.java
@@ -544,14 +544,6 @@
     return Type.INFO;
   }
 
-  /**
-   * Derived classes can override to prevent automatic update checking.
-   */
-  @Override
-  protected boolean doShouldCheckForUpdates() {
-    return true;
-  }
-
   @Override
   protected void doShutDownServer() {
     // Stop the HTTP server.