Description Benno Baumgartner 2008-02-14 04:47:09 EST

M20080212-1200

Given:
package test;
public class Krass {
	
	public void foo(int parameter) {}
}

1. Set project specific compiler options:
 Parameter is never read: Warning
 Ignore parameters documented with @param tag: enabled
2. Add java doc with param tag for 'parameter'
3. Save
Is:
 A grayed (disabled?) waring annotation stays in the vertical ruler. The editor tab shows a warning, the squiggly line is gone though. Maybe an editor problem?
4. Close/reopen Krass
Is:
 Warning annotation: parameter is never read.

This is in 3.3.2! Major, maybe a fundamental problem?