# HG changeset patch
# User darcy
# Date 1233107453 28800
# Node ID edb8d7985cfd9ff0baa598dc31c5c61ee5994322
# Parent  0f922ff6968f7600be381db748ef24b90fb2f1a6
6707027: langtools/test/tools/javac/processing/model/testgetallmember/Main.java fails
Reviewed-by: jjg

diff -r 0f922ff6968f -r edb8d7985cfd test/tools/javac/processing/model/testgetallmembers/Main.java
--- a/test/tools/javac/processing/model/testgetallmembers/Main.java	Mon Jan 26 15:14:46 2009 -0800
+++ b/test/tools/javac/processing/model/testgetallmembers/Main.java	Tue Jan 27 17:50:53 2009 -0800
@@ -23,7 +23,7 @@
 
 /**
  * @test
- * @bug     6374357 6308351
+ * @bug     6374357 6308351 6707027
  * @summary PackageElement.getEnclosedElements() throws ClassReader$BadClassFileException
  * @author  Peter von der Ah\u00e9
  * @run main/othervm -Xmx256m Main
@@ -118,7 +118,7 @@
                           packages.size(), classes, nestedClasses);
         if (classes < 9000)
             throw new AssertionError("Too few classes in PLATFORM_CLASS_PATH ;-)");
-        if (packages.size() < 545)
+        if (packages.size() < 530)
             throw new AssertionError("Too few packages in PLATFORM_CLASS_PATH ;-)");
         if (nestedClasses < 3000)
             throw new AssertionError("Too few nested classes in PLATFORM_CLASS_PATH ;-)");