Pin change tool

Below is a small java program that can be used to reset the PIN of a blocked developer card to "1234".
For both the V1.7 and V1.8 test cards.
It can not be used on official eID/foreigner/kids cards.

Required: Java 1.7 or up. And a smart card reader with a working driver.