Cedric Berger writes: > Andrew Haley wrote: > > >Hmm. Thoughts welcome. > > > Maybee you don't have to worry too much: > apparently, the latest JDK (1.4.2) does not generate JSRs anymore: > http://java.sun.com/j2se/1.4.2/changes.html#javac > http://developer.java.sun.com/developer/bugParade/bugs/4381996.html > > And they are considering deprecating jsr. Well, that is good news. I reckon we'll be stuck with the output of old javac for a while, though. Andrew.