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.
pintool_eid_devcards.zip
Required: Java 1.7 or up. And a smart card reader with a working driver.