Extension of JDK File class