Eclipse plugin utilities