https://issues.apache.org/bugzilla/show_bug.cgi?id=37515
--- Comment #13 from Mark Thomas <[email protected]> 2009-01-05 15:56:06 PST --- The JDT issue is a bug. I have committed a fix to trunk and proposed it for 6.0.x -- Configure bugmail: https://issues.apache.org/bugzilla/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the assignee for the bug. --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
