+ // else if (element instanceof GroupBaseElem)
+ // return DistImages.IMG_GROUP_BASE;
+ else if (element instanceof ModularDistBaseElem)
+ return DistImages.IMG_MODULAR_DIST_BASE;
+ else if (element instanceof ModularDistVersionElem)
+ return DistImages.IMG_MODULAR_DIST_VERSION;