Killing java processes started from Port.open

Thanks @jayjun - that sounds like some hard-won experience right there!