--- a/hotspot/src/share/vm/runtime/arguments.cpp	Mon Oct 07 12:20:28 2013 -0400
+++ b/hotspot/src/share/vm/runtime/arguments.cpp	Tue Oct 08 09:33:51 2013 +0100
@@ -2045,6 +2045,9 @@
   status = status && verify_interval(StringTableSize, minimumStringTableSize,
     (max_uintx / StringTable::bucket_size()), "StringTable size");
 
+  status = status && verify_interval(SymbolTableSize, minimumSymbolTableSize,
+    (max_uintx / SymbolTable::bucket_size()), "SymbolTable size");
+
   if (MinHeapFreeRatio > MaxHeapFreeRatio) {
     jio_fprintf(defaultStream::error_stream(),
                 "MinHeapFreeRatio (" UINTX_FORMAT ") must be less than or "