Fixed version (3.8) instead 4.4
Merge branch 'R4_3-show-skipped' into R4_3-bug-trace
Merge branch 'R4_3-bug-trace' into R4_3_1-bug-trace
Added dispose method for the bug trace widget
Improved java doc
Merge branch 'R4_3-bug-trace' into R4_3_1-bug-trace