A simple-minded API for exec'ing in java.