rev 3613 : imported patch 8131023
@@ -61,11 +61,10 @@ return new JShellTool( new TestingInputStream(), new PrintStream(cmdout), new PrintStream(cmderr), new PrintStream(console), - new TestingInputStream(), new PrintStream(userout), new PrintStream(usererr), new ReplToolTesting.MemoryPreferences(), Locale.ROOT); }