A Java library for International Bank Account Number (IBAN) generation