Eclipse plugin.