Simple script to start / stop a jackrabbit server