Update instructions on how to avoid false positives in Eclipse.
Test the optimizer option and fix a bug in handling it.