Views for the Scertify Eclipse plugin