Updated Sbteclipse plugin.
Added testcase for IntSet.