Debian init script: kill both the tree and all other processes of the user
Debian init script: kill both the tree and all other processes of the user

Also clean-up and tabify.

ow2-proactive/agent-linux,ow2-proactive/agent-linux,ow2-proactive/agent-linux