equal
deleted
inserted
replaced
26 * @summary Testing external editor. |
26 * @summary Testing external editor. |
27 * @bug 8143955 8080843 8163816 8143006 8169828 8171130 |
27 * @bug 8143955 8080843 8163816 8143006 8169828 8171130 |
28 * @modules jdk.jshell/jdk.internal.jshell.tool |
28 * @modules jdk.jshell/jdk.internal.jshell.tool |
29 * @build ReplToolTesting CustomEditor EditorTestBase |
29 * @build ReplToolTesting CustomEditor EditorTestBase |
30 * @run testng ExternalEditorTest |
30 * @run testng ExternalEditorTest |
|
31 * @key intermittent |
31 */ |
32 */ |
32 |
33 |
33 import java.io.BufferedWriter; |
34 import java.io.BufferedWriter; |
34 import java.io.DataInputStream; |
35 import java.io.DataInputStream; |
35 import java.io.DataOutputStream; |
36 import java.io.DataOutputStream; |