Correlation key is not set at inbound-gateway

When the correlation-key of inbound-gateway for jms is set to "JMSMessageID", the output JMS message will not receive any value. Following code in ChannelPublishingJmsMessageListener.copyCorrelationIdFromRequestToReply looks suspicious

	String value = requestMessage.getStringProperty(this.correlationKey);
	if (value != null) {
		replyMessage.setStringProperty(this.correlationKey, value);
	}

Should it be

replyMessage.setJMSCorrelationID(value);

In addition, not setting correlation-key to any value also does not work.