jikesrvm 1 check point