Øyvind Harboe wrote: >>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? Ok, filed as: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12231 Ranjit. -- Ranjit Mathew Email: rmathew AT hotmail DOT com Bangalore, INDIA. Web: http://ranjitmathew.tripod.com/