Artifacts of org.eclipse.gendoc.preferences #16