public void widgetSelected(SelectionEvent evt){
remove.setEnabled(tableViewer.getTable().getSelectionCount() != 0);
}
});
tableViewer.setContentProvider(new TableViewerSupport.ListContentProvider());
tableViewer.setLabelProvider(new ITableLabelProvider(){
public Image getColumnImage(Object element, int columnIndex) {
if(element instanceof File){
return HTMLPlugin.getDefault().getImageRegistry().get(HTMLPlugin.ICON_JAR_EXT);
} else if(element instanceof IFile){
return HTMLPlugin.getDefault().getImageRegistry().get(HTMLPlugin.ICON_JAR);