PID file defined in jenkins job