'''[https://bugs.eclipse.org/bugs/show_bug.cgi?id=209289 delete button is enabled even when there are no extensions to delete]''', fix fixed by [[User:JesseV| Jesse Valianes ]]