Eclipse plugin utilities (mainly for TOD/STIQ)