[args4j] Apply upstream source encoding patch to fix build with java 1.7.