Use a GenServer call to retrieve the Java server pid.