Artifacts of org.eclipse.gendoc.ui #16