OK, I'll revert my patch (and leave it as a private extension), until we have found a better solution that everybody agrees on.
Thanks :)
As for a solution, I believe your hardcoded list was acceptable, if not completely optimal.
OK, in this case, I'll add that part of the patch back in, without the CatalinaProperties.setProperty, which I'll keep as a private extension for now.
We can always revisit this issue at a later point.
I feel like I'm on a bazaar. :)
Thanks, Remy!
Jan
--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
