-
Bug
-
Resolution: Fixed
-
P3
-
None
-
None
-
b14
As a result, some resources properties became unused: specifically, those of the form `javadoc.*.msg` and `javadoc.*.pos.msg` as exemplified in this code that was deleted in the fix for
private void report(DiagnosticType type, String pos, String msg) {
switch (type) {
case ERROR:
case WARNING:
Object prefix = (pos == null) ? programName : pos;
report(javadocDiags.create(type, null, null, "msg", prefix, msg));
break;
case NOTE:
String key = (pos == null) ? "msg" : "pos.msg";
report(javadocDiags.create(type, null, null, key, pos, msg));
break;
default:
throw new IllegalArgumentException(type.toString());
}
}