MD5 (jikes-1.13.tar.gz) = 56497fb2096d6c596d703af86c67ebd0
