Made protected methods in LogicDocTest public

 Also fixed testcases to reflect that change.

This allows us to use the DocTestLibrary not only in test scenarios where we can use "extends DocTest", but
also in scenarios, where we are already exending another testlibrary. In such scenarios we can now
use DocTest as simple class level utitily class.

Fixed a bug in IntegrationTest#verifyThatTheReportsAreCreated (the wrong file object was verified).