If you believe you have found a bug, please file a bug report in the github repository- be sure to include the Eclipse version, your OS type and version, as well as any additional information that might prove useful. Please review the discussions below as well as the documentation and FAQbefore submitting a bug.