Scenario:
I have a very nice Galaxy S3. Unrooted I9300 with latest official firmware.
I am in a company with an exchange server.
About 5 months ago, I set up the ActiveSync/Exchange account on my personal Galaxy S3. the policy required me to have a 4-digit pin. Fair enough - pin set up...