cast to java.io.File