Getting started with OTAWA Eclipse plugin