mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opendj-server-legacy/resource/bin/dsjavaproperties does not exist in tree 1a8a548b7df96c0affb53cecffb48477870cc5eb
