webrev subsitutes numbers with more than 5 digits to a JBS link, but the revision number aready has 5 digits now, which makes

</p><blockquote><pre>rev <a href="https://bugs.openjdk.java.net/browse/JDK-12345">12345</a> : <a href="https://bugs.openjdk.java.net/browse/JDK-8080808">8080808</a>: Synopsis bla bla bla</pre>

Suggested fix:

diff --git a/webrev.ksh b/webrev.ksh
--- a/webrev.ksh
+++ b/webrev.ksh
@@ -159,7 +159,7 @@
 #
 bug2url()
 {
- sed -e 's|[0-9]\{5,\}|<a href=\"'$BUGURL$IDPREFIX'&\">&</a>|g'
+ sed -e 's|[0-9]\{7,\}|<a href=\"'$BUGURL$IDPREFIX'&\">&</a>|g'
 }
 
 #