2008/5/12 Al Sutton <[EMAIL PROTECTED]>: > so should we bump this to 6.0, or if we don't actually need tools.jar maybe > remove it?
I think that we can remove it, I really cannot see the need for such a dependency. Eventually, the only dependency we need is the runtime library, if we want to be Java 5 compatible. Please open a JIRA issue. Thanks Antonio --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
