software/theia: drop workaround for tasks issue

The issue is now fixed in 1.16.0

software/theia/buildout.hash.cfg

@@ -15,7 +15,7 @@
 
 [instance-theia]
 _update_hash_filename_ = instance-theia.cfg.jinja.in
-md5sum = e0fb65c34b2d3d524cbca85579728e54
+md5sum = 562acf69f344fa9f6d03992d696462d0
 
 [instance]
 _update_hash_filename_ = instance.cfg.in

software/theia/instance-theia.cfg.jinja.in

@@ -397,9 +397,6 @@ template =
     . {{ activate }}
     unset GIT_EXEC_PATH
     set -- --rcfile {{ bashrc }}
-  # otherwise, assume this shell is running task and add an artificial delay to workaround https://github.com/eclipse-theia/theia/issues/2961
-  else
-    sleep 1
   fi
   exec "$SHELL" "$@"
   {% endraw %}