rev 3613 : imported patch 8131023
*** 61,71 **** 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); } --- 61,70 ----