Added special format for java.io.File