Provide direct support for Eclipse preferences #753
ToolItem javadoc updated. Fixes #765
ProblemsView is able to filter problems #762