Kill java to terminate editor on linux.

tools/task_kill.py

Index: tools/task_kill.py
diff --git a/tools/task_kill.py b/tools/task_kill.py
index b13dba5a958059750ccde981c501a533185aae84..9b905eef76b3581985e2080831bb540605e9a4c0 100755
--- a/tools/task_kill.py
+++ b/tools/task_kill.py
@@ -38,6 +38,7 @@ EXECUTABLE_NAMES = {
     'content_shell': 'content_shell',
     'dart': 'dart',
     'editor': 'DartEditor',
+    'java': 'java',
     'eggplant': 'Eggplant',
     'firefox': 'firefox.exe',
     'git': 'git',
@@ -196,6 +197,8 @@ def KillDart():
 def KillEditor():
   status = Kill("editor")
   if os_name == "linux":
+    # it is important to kill java after editor on linux
+    status += Kill("java")
     status += Kill("eggplant")
   return status