Israel switched from their old 5-digit postal code system to a newer 7-digit one back in 2013. (Wikipedia) To support both, the entry in countryInfo.txt should probably be updated to:
or similar. Thanks!
EDIT: Since posting the above, I also found out that the postal regex for Ireland doesn't match the Eircodes used in ireland. This would be a better regex for Ireland: