Eclipse based Java program for access to the Coverity API