Artifacts of org.eclipse.gendoc.ui #1315