On Tue, 5 Feb 2002, Stephane Bailliez <[EMAIL PROTECTED]> wrote: >> The other option I see is moving NoExitSecurityManager somewhere >> where bootstrap doesn't pick it up > > +1
org.apache.tools.ant.util.optional? Stefan -- To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]> For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>
