Added utility functionality for file handling
Removed code that is not used anymore
Made VDM library visible in JavaCodeGenMain when generating Java from VDM