MD5 (jakarta-regexp-1.2.zip) = 56a6ebea1dd32d810e4ef1c1e054100f