OpenGraal library update to store servers in a list
OpenGraal library update to store servers in a list