Java API for generating/validating IBANs