test/langtools/tools/javac/tree/NoPrivateTypesExported.java
changeset 58713 ad69fd32778e
parent 47482 4a35a00eb001
--- a/test/langtools/tools/javac/tree/NoPrivateTypesExported.java	Mon Oct 21 15:11:44 2019 +0200
+++ b/test/langtools/tools/javac/tree/NoPrivateTypesExported.java	Mon Oct 21 15:38:26 2019 +0200
@@ -177,6 +177,7 @@
 
             if (annotationElement.getAnnotation(Documented.class) == null) {
                 note("Ignoring undocumented annotation: " + mirror.getAnnotationType());
+                continue;
             }
 
             verifyTypeAcceptable(mirror.getAnnotationType(), acceptable);