diff -r ec871c3e8337 -r 391f97e270c2 src/share/classes/com/sun/tools/doclint/resources/doclint.properties
--- a/src/share/classes/com/sun/tools/doclint/resources/doclint.properties	Sat Jun 01 22:09:18 2013 +0100
+++ b/src/share/classes/com/sun/tools/doclint/resources/doclint.properties	Mon Jun 03 16:22:27 2013 -0700
@@ -26,6 +26,7 @@
 dc.anchor.already.defined = anchor already defined: {0}
 dc.anchor.value.missing = no value given for anchor
 dc.attr.lacks.value = attribute lacks value
+dc.attr.not.number = attribute value is not a number
 dc.attr.obsolete = attribute obsolete: {0}
 dc.attr.obsolete.use.css = attribute obsolete, use CSS instead: {0}
 dc.attr.repeated = repeated attribute: {0}