Eclipse project files and bugfix

Hi Rohan.

I have started really looking into VASCO for my course in fall. I have added some Eclipse project files, including the dependency on Soot, and also I have fixed a missing initialization in your code.