Bug 49527 [formatting] Non-Javadoc-Headers are always formatted
Non-Javadoc-Headers are reformatted by the new code formatter, regardless of the 'Format header comment' option. I think this behaviour is not desired because such headers are often used to store version control information. The only current option to avoid this behaviour is to disable comment formatting completely (which is not a nice option). I'll append a test java file to check the described behaviour.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/text/comment/CommentFormattingStrategy.java
* @param offset
	 *                   Offset where to determine the indentation
	 * @param tabs
	 *                   <code>true</code> iff the indentation should use tabs
	 *                   instead of spaces, <code>false</code> otherwise
	 * @return The indentation of the line
	 */
	public static String getLineIndentation(final IDocument document, final CommentRegion region, final int offset, final boolean tabs) {
		String result= ""; 
		try {
			final IRegion line= document.getLineInformationOfOffset(offset);
			final int begin= line.getOffset();
			final int end= Math.min(offset, line.getOffset() + line.getLength());
			result= region.stringToIndent(document.get(begin, end - begin), tabs);
		} catch (BadLocationException exception) {
			
		}
		return result;
	}
	
	private final LinkedList fDocuments= new LinkedList();
	
	private final LinkedList fPartitions= new LinkedList();
	
	private ITextMeasurement fTextMeasurement;
	/**
	 * Creates a new comment formatting strategy.
	 */
	public CommentFormattingStrategy() {
		super();