mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opendj-dsml-servlet/resources/webapp/web.xml
