Итак, ответ (действительно, наверное, глупо было надеяться, что кто-нибудь мне ответит в субботу
)
Решилось следующей модификацией ImageList:
PHP код:
imageList = new ImageList(ImageList::smallIconWidth(), ImageList::smallIconHeight());
imgEmpty1 = imageList.add(new Image(1082));
imgNo = imageList.add(new Image(#ImageOverlayNo));