Last night I looked at the Debian bug database. There are a few Java bugs there I haven't heard of; apparently they don't always forward them to us. We should remember to look here periodically: http://www.debian.org/Bugs/db/ma/lDebian_GCC_maintainers,gcc,packages.debian.org,.html One of these, #51266, might be a front end bug. Tom