Switch to use of the Java 7 Files API