kill R/java running servers, instead of all processes
Merge branch 'aeslink' of github.com:tdhock/animint into aeslink