Jim Cheesman <[EMAIL PROTECTED]> wrote:

> At 04:42 PM 25/06/01, you wrote:
>
>>What version of Jikes are you using?
> 
> Version 1.13 3/1/2001

Looking at jikes.org, 1.14 is the latest version.  The bug is supposed
to be fixed there
<http://oss.software.ibm.com/developerworks/patch/index.php?func=detailpatch&patch_id=75&group_id=10>

Stefan

Reply via email to