It seems that the problem is with JDK1.2.2, jikes works with JDK1.3 Thanks for your help.
Mike Stefan Bodewig wrote: > Michael, > > Could you please try again with the latest version I've commited? I > don't really think the modifications I've made will help much - but > just want to make sure. > > Stefan
