Minimal Java API to manage Linux processes