index-set OO in IDEA plugin