- try
- {
- perr = new PipedOutputStream(this.pin2);
- System.setErr(new PrintStream(perr, true));
- } catch (java.io.IOException io)
- {
- textArea.append("Couldn't redirect STDERR to this console\n"
- + io.getMessage());
- io.printStackTrace(stderr);
- } catch (SecurityException se)
- {
- textArea.append("Couldn't redirect STDERR to this console\n"
- + se.getMessage());
- se.printStackTrace(stderr);
- }
+ try
+ {
+ perr = new PipedOutputStream(this.pin2);
+ System.setErr(new PrintStream(perr, true));
+ } catch (java.io.IOException io)
+ {
+ textArea.append("Couldn't redirect STDERR to this console\n"
+ + io.getMessage());
+ io.printStackTrace(stderr);
+ } catch (SecurityException se)
+ {
+ textArea.append("Couldn't redirect STDERR to this console\n"
+ + se.getMessage());
+ se.printStackTrace(stderr);
+ }