#59 Metrics checkbox not available from Navigator

[Leonardo Frittelli]

If you open Project properties from the Navigator view
(instead of from the Package Explorer), the Metrics
options are not available.