java :: NativeFile :: free_space
fun free_space: Int in "Java" `{ return (int)self.getFreeSpace(); `}