Speed up DevMode by getting rid of excessive JS to Java calls.

Review at http://gwt-code-reviews.appspot.com/1337801

Review by: zundel@google.com

git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@9663 8db76d5a-ed1c-0410-87a9-c151d255dfc7
diff --git a/user/src/com/google/gwt/i18n/client/Dictionary.java b/user/src/com/google/gwt/i18n/client/Dictionary.java
index a5a18dd..e795111 100644
--- a/user/src/com/google/gwt/i18n/client/Dictionary.java
+++ b/user/src/com/google/gwt/i18n/client/Dictionary.java
@@ -175,11 +175,7 @@
   }
 
   void resourceError(String key) {
-    Collection<String> s = this.keySet();
     String error = "Cannot find '" + key + "' in " + this;
-    if (s.size() < MAX_KEYS_TO_SHOW) {
-      error += "\n keys found: " + s;
-    }
     throw new MissingResourceException(error, this.toString(), key);
   }