[ Thanks to Mo DeJong for this link. ]
Jikes 1.13 has been released. It's not a major release; it's a bug-fix release only.
Complete Story