Akhilesh, You should use a newer version of Jikes. 1.13 is pretty old, try using at least 1.22 (not sure what the latest version is).
Michael _______________________________________________ kaffe mailing list [email protected] http://kaffe.org/cgi-bin/mailman/listinfo/kaffe
