Getting an old rfe into JBS, before bugtraq was decommissioned JDK-related bugs only got into the 72xxxxx range, strictly less than 7300000. We staggered the starting bug values of the various jbs projects that host imported JDK bugs. The JDK project starts at 8000000; the other projects at intermediate values between 7300000 and 8000000:

    CODETOOLS 7900000
    INTJDK 7600000
    JCK 7300000
    JDK 8000000
    Java Incidents 9000000

Therefore, a more precise syntactic check would be to not just check for a 7-digit bug number with the right initial digit, but to check for something like

    [1, 4, 5, 6, 8][0-9]{6} OR
    7[0-2][0-9]{5}

which would exclude bugs from all the other projects for years to come.