Buggy code:
public class StompHeaderAccessor extends SimpMessageHeaderAccessor { private static final AtomicLong messageIdCounter = new AtomicLong ( ) ; public static final String STOMP_ID_HEADER = "id" ; public static final String STOMP_HOST_HEADER = "host" ; public static final String STOMP_ACCEPT_VERSION_HEADER = "accept-version" ; public static final String STOMP_MESSAGE_ID_HEADER = "message-id" ; public static final String STOMP_RECEIPT_HEADER = "receipt" ; public static final String STOMP_RECEIPT_ID_HEADER = "receipt-id" ; public static final String STOMP_SUBSCRIPTION_HEADER = "subscription" ; public static final String STOMP_VERSION_HEADER = "version" ; public static final String STOMP_MESSAGE_HEADER = "message" ; public static final String STOMP_ACK_HEADER = "ack" ; public static final String STOMP_NACK_HEADER = "nack" ; public static final String STOMP_LOGIN_HEADER = "login" ; public static final String STOMP_PASSCODE_HEADER = "passcode" ; public static final String STOMP_DESTINATION_HEADER = "destination" ; public static final String STOMP_CONTENT_TYPE_HEADER = "content-type" ; public static final String STOMP_CONTENT_LENGTH_HEADER = "content-length" ; public static final String STOMP_HEARTBEAT_HEADER = "heart-beat" ; private static final long [ ] DEFAULT_HEARTBEAT = new long [ ] { 0 , 0 } ; private static final String COMMAND_HEADER = "stompCommand" ; private static final String CREDENTIALS_HEADER = "stompCredentials" ; private StompHeaderAccessor ( StompCommand command , Map < String , List < String > > externalSourceHeaders ) { } private void setSimpMessageHeaders ( StompCommand command , Map < String , List < String > > extHeaders ) { } private StompHeaderAccessor ( Message < ? > message ) { } public static StompHeaderAccessor create ( StompCommand command ) { } public static StompHeaderAccessor create ( StompCommand command , Map < String , List < String > > headers ) { } public static StompHeaderAccessor wrap ( Message < ? > message ) { } @ Override public Map < String , List < String > > toNativeHeaderMap ( ) { Map < String , List < String > > result = super . toNativeHeaderMap ( ) ; String destination = super . getDestination ( ) ; if ( destination != null ) { result . put ( StompHeaderAccessor . STOMP_DESTINATION_HEADER , Arrays . asList ( destination ) ) ; } MimeType contentType = super . getContentType ( ) ; if ( contentType != null ) { result . put ( StompHeaderAccessor . STOMP_CONTENT_TYPE_HEADER , Arrays . asList ( contentType . toString ( ) ) ) ; } if ( ( ( getCommand ( ) ) != null ) && ( getCommand ( ) . requiresSubscriptionId ( ) ) ) { String subscriptionId = getSubscriptionId ( ) ; if ( subscriptionId != null ) { String name = ( MESSAGE . equals ( getCommand ( ) ) ) ? StompHeaderAccessor . STOMP_SUBSCRIPTION_HEADER : StompHeaderAccessor . STOMP_ID_HEADER ; result . put ( name , Arrays . asList ( subscriptionId ) ) ; } else { <START_BUG> logger . warn ( ( ( ( getCommand ( ) ) + "<seq2seq4repair_space>frame<seq2seq4repair_space>should<seq2seq4repair_space>have<seq2seq4repair_space>a<seq2seq4repair_space>subscription:<seq2seq4repair_space>" ) + ( this . toString ( ) ) ) ) ; <END_BUG> } } if ( ( MESSAGE . equals ( getCommand ( ) ) ) && ( ( getMessageId ( ) ) == null ) ) { String messageId = ( ( getSessionId ( ) ) + "-" ) + ( StompHeaderAccessor . messageIdCounter . getAndIncrement ( ) ) ; result . put ( StompHeaderAccessor . STOMP_MESSAGE_ID_HEADER , Arrays . asList ( messageId ) ) ; } return result ; } public Map < String , List < String > > toStompHeaderMap ( ) { } public StompCommand updateStompCommandAsClientMessage ( ) { } public void updateStompCommandAsServerMessage ( ) { } public StompCommand getCommand ( ) { } public Set < String > getAcceptVersion ( ) { } public void setAcceptVersion ( String acceptVersion ) { } public void setHost ( String host ) { } public String getHost ( ) { } @ Override public void setDestination ( String destination ) { } public long [ ] getHeartbeat ( ) { } public void setContentType ( MimeType contentType ) { } public Integer getContentLength ( ) { } public void setContentLength ( int contentLength ) { } public void setHeartbeat ( long cx , long cy ) { } public void setAck ( String ack ) { } public String getAck ( ) { } public void setNack ( String nack ) { } public String getNack ( ) { } public void setLogin ( String login ) { } public String getLogin ( ) { } public void setPasscode ( String passcode ) { } public String getPasscode ( ) { } public void setReceiptId ( String receiptId ) { } public String getReceiptId ( ) { } public void setReceipt ( String receiptId ) { } public String getReceipt ( ) { } public String getMessage ( ) { } public void setMessage ( String content ) { } public String getMessageId ( ) { } public void setMessageId ( String id ) { } public String getVersion ( ) { } public void setVersion ( String version ) { } private static class StompPasscode { private final String passcode ; public StompPasscode ( String passcode ) { } @ Override public String toString ( ) { } } }

Fix:
logger . warn ( ( ( ( getCommand ( ) ) + "<seq2seq4repair_space>frame<seq2seq4repair_space>does<seq2seq4repair_space>not<seq2seq4repair_space>have<seq2seq4repair_space>a<seq2seq4repair_space>subscription<seq2seq4repair_space>identifier" ) + ( this . toString ( ) ) ) ) ;