JAVA.SET_MODTIME set the modification time of a filepath