code: public static void push(final String message, final Object... args) {
          contextStack.push(ParameterizedMessage.format(message, args));
      }
docs: Pushes new diagnostic context information for the current thread.
  
  <p>
  The contents of the <code>message</code> and args parameters are determined solely by the client. The message
  will be treated as a format String and tokens will be replaced with the String value of the arguments in
  accordance with ParameterizedMessage.
  </p>
  
  @param message The new diagnostic context information.
  @param args Parameters for the message.