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
/*****************************************************************************
 * Copyright (c) 2000, 2003 IBM Corporation and others.
 * All rights reserved. This program and the accompanying materials 
 * are made available under the terms of the Common Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/cpl-v10.html
 * 
 * Contributors:
 *     IBM Corporation - initial API and implementation
 *****************************************************************************/
package org.eclipse.jdt.internal.ui.text.comment;