JVM pidfile option