1.1 --- a/src/share/classes/com/sun/tools/doclets/internal/toolkit/taglets/ValueTaglet.java Wed Aug 28 15:40:33 2013 -0700 1.2 +++ b/src/share/classes/com/sun/tools/doclets/internal/toolkit/taglets/ValueTaglet.java Thu Aug 29 11:41:20 2013 -0700 1.3 @@ -126,7 +126,7 @@ 1.4 return (FieldDoc) tag.holder(); 1.5 } else { 1.6 //This should never ever happen. 1.7 - throw new DocletAbortException(); 1.8 + throw new DocletAbortException("should not happen"); 1.9 } 1.10 } 1.11 StringTokenizer st = new StringTokenizer(name, "#");