Modified.java

// this comment at the starting of the file is evil //
package indentbug;

public class Bug {
	/**
	 * To reproduce: Select the whole document and
	 * perform "Source->Correct indentation".
	 * (i. e. Ctrl+A, Ctrl+I)
	 */
}