protected String extractOutSection(String out, String head) {
		String[] split = out.split("\n");
		String xout = "";
		for (String s : split) {
			if (!s.startsWith("jshell>") && !s.equals("")) {
				if (s.startsWith("INFO") || s.startsWith("ERROR") || s.startsWith("WARN")) {
					if (s.indexOf("(") > 0) {
						s = s.substring(0, s.lastIndexOf("(")).trim();
					}
				}
				xout += s + "\n";
			}
		}
		return xout.split(head)[1].split("---")[0].replace("jshell>", "").trim();
	}
We know at this point the process should be terminated. Depending on how cleanly that
happened, the socket may or may not be closed. Do not assert/wait for it to close. Just
clean up by closing our end
Ghidra/Test/DebuggerIntegrationTest/src/test.slow/java/agent/java/rmi/AbstractJavaTraceRmiTest.java