modified jikesrvm