[120707] Workaround for Eclipse install failure
12 files changed
tree: dc8d3b29e44dddb6726f0abc73dfa9c31cf491cf
  1. features/
  2. plugins/