Java application for a Mifare-based payment system