Improve Server._getPIDs() checks

Check more thoroughly that process is an instance of the Minecraft server before returning its PID