public ExtensionFilterAction(String name, GViewer gViewer, String[] extensions ) {
public ExtensionFilterAction(String name, IGViewer gViewer, String[] extensions ) {
	public ExtensionFilterAction(String name, GViewer gViewer, String[] extensions ) {		super( name, Action.AS_CHECK_BOX, gViewer );		this.extensions = extensions;		if ( this.isFiltered( this.extensions ) )			setChecked( true );	 }