Killing java processes started from Port.open

Thanks @NobbZ - I have no problem receiving the inputs from the external process, it’s just shutting it down cleanly afterwards that’s the problem.

I’ll double-check receives of EOF first, then I’ll try on Linux to see if there is some weird Windows effect, then I’ll see if ErlPorts does a more aggressive shutdown, then I’ll take a look at the other options you presented.

Thanks to you both for your suggestions. I’ll let you know how I go.