merged with fmtvp/ecomp and Java batch support

Hi David,

I have merged in the work from fmtvp/ecomp and made some changes to support batching of Java files, including a new binary to perform the analysis.