public class EditorDriverMain {

  public static void main (String[] args) {

      EditorDriver driver = new EditorDriver();

  } // main method

} // class EditorDriverMain