For integration to Eclipse