void () { PrintStream err = System.err; if (err != originalSystemErr) { System.setErr(originalSystemErr); throwStreamRedirected("System.err", originalSystemErr, err); } if (originalSystemErr.checkError()) { throwStreamClosed("System.err"); } }