java $ NativeFile :: delete_on_exit

	fun delete_on_exit in "Java" `{ self.deleteOnExit(); `}