external-software/github_OpenIdentityPlatform_OpenDJ.git

			@@ -1304,7 +1304,11 @@
			SEVERE_ERR_COULD_NOT_FIND_REPLICATIONID=Could not find a remote peer to \
			initialize the contents of local base DN: %s.
			INFO_NEW_UPGRADE_SCRIPT_AVAILABLE=A new version of '%s' has been made \
			available. After this operation you should delete this script and rename \
			'%s' to '%1$s'.
			available. After this operation you should delete this script and rename \
			'%s' to '%1$s'.
			MILD_ERR_ERROR_CREATING_JAVA_HOME_SCRIPTS=Error updating scripts with java \
			properties. Error code: %d
			SEVERE_ERR_INCOMPATIBLE_VERSION=The minimum Java version required is %s.%n%n\
			The detected version is %s.%n%n\Please set OPENDS_JAVA_HOME to the root of a \
			compatible Java installation or edit the java.properties file and then run \
			the dsjavaproperties script to specify the java version to be used.