diff -r 14e098407bb0 -r ad69fd32778e test/langtools/tools/javac/tree/NoPrivateTypesExported.java
--- 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);