Refer to "6.2.5 Detecting and Correcting Problems".
Note
There are differences in the verification feature that is provided in the standard workbench and the Java EE 6 workbench.