Make sure proxy dumping uses Java 6 APIs