Dead code.
abort is not directly used; use send instead.
Removing Vector; we do not use it.