Added dispose method for the bug trace widget
Improved java doc
Merge branch 'R4_3-bug-trace' into master-bug-trace

Conflicts:
	org.eclipse.jdt.junit/src/org/eclipse/jdt/internal/junit/ui/TestRunnerViewPart.java