>Oyvind, I think we should file a libgcj bug in bugzilla >for this so that we do not lose track of this problem. >It might also help to put in a link to this thread >in the bug report. Can I leave it to you guys to file a report, since I don't have a strong opinion about what the correct solution is? Øyvind