Kees Jongenburger <[EMAIL PROTECTED]> wrote: > Hi, > > I just spent the last 2 day wondering why some editwizards did not work. > apparently this is due to bugs in jikes 1.16 (keep it in mind) >
Yes, 1.16 is known to be strange. (There was a thread about this a few months ago). I think from 1.17 on everything seemd normal again. greetings, MIchiel -- mihxil' Michiel Meeuwissen Mediapark C101 Hilversum +31 (0)35 6772979 []()
