Resolve an issue with too conservative error msg
Generation of annotation
Add support for analysing app without SCJ impl+testcases and clean up