Eclipse edit tools with other plugins