MD5 (jikes-1.15.tar.gz) = 88ccc470acb5c2c8e35badd534223e2c