Add link to openjdk4jikesrvm