[gui] Patch: javax.swing.ToolTipManager

[Tom Tromey]

>>>>> "Michael" == Michael Koch <konqueror@gmx.de> writes:

Michael> I just commited the attached patch to fix the constructors of the 
Michael> inner classes of javax/swing/ToolTipManager.java.

Michael>  		 * @param manager TODO
Michael>  		 */
Michael> -		protected stillInsideTimerAction(ToolTipManager manager) {
Michael> +		protected stillInsideTimerAction() {

You might as well remove the @param when you remove the parameter.

Tom