OpenGraal library update to store servers in a list