On mine, 09 is an error. JLS§3.10
Yes, but something like 012345 isn't.
Ah, this is an excellent point, but it seems isomorphic to the problem of highlighting any numeric literal, which is supported as an editor preference. In Java, this is enhanced by the convention of using all capital letters for the identifiers of immutable constants. I would argue that all numeric literals be treated with equal suspicion.
trashgod
2010-03-07 22:22:24