@@ -406,7 +406,7 @@ private void checkParameters(Element element, DocCommentTree tree) {
406
406
/** logs a new error for the particular element */
407
407
private void error (Element element , String message ) {
408
408
var fullMessage = new StringBuilder ();
409
- switch (element .getKind ()) {
409
+ switch (element .getKind ()) {
410
410
case MODULE :
411
411
case PACKAGE :
412
412
// for modules/packages, we don't have filename + line number, fully qualify
@@ -426,10 +426,19 @@ private void error(Element element, String message) {
426
426
fullMessage .append (element .getSimpleName ());
427
427
break ;
428
428
}
429
+
429
430
fullMessage .append (" (" );
430
431
fullMessage .append (element .getKind ().toString ().toLowerCase (Locale .ROOT ));
431
432
fullMessage .append ("): " );
432
433
fullMessage .append (message );
433
- reporter .print (Diagnostic .Kind .ERROR , element , fullMessage .toString ());
434
+
435
+ if (Runtime .version ().feature () == 11 && element .getKind () == ElementKind .PACKAGE ) {
436
+ // Avoid JDK 11 bug:
437
+ // https://issues.apache.org/jira/browse/LUCENE-9747
438
+ // https://bugs.openjdk.java.net/browse/JDK-8224082
439
+ reporter .print (Diagnostic .Kind .ERROR , fullMessage .toString ());
440
+ } else {
441
+ reporter .print (Diagnostic .Kind .ERROR , element , fullMessage .toString ());
442
+ }
434
443
}
435
444
}
0 commit comments