Hi, thanks to all of you who provided me with hints on how to solve my problem. I must admit that this indeed is not an Ant related issue. Obviously, using the jikes version installed on my machine (1.18) causes the trouble. Switching to modern solves the problem.
Thorsten --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
