langtools/test/jdk/jshell/ExternalEditorTest.java
changeset 46077 08de9d5386a9
parent 43264 7b06e19184de
equal deleted inserted replaced
46076:b6d477fd9dbe 46077:08de9d5386a9
    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;