ToolItem javadoc updated. Fixes #765
ProblemsView is able to filter problems #762