Fix for reading from a file in a jar
Fix for VDM dialect check in codegen IDE part
Made the Java code generation commmand only visible for VDM++ projects
Changed icon used by the codegen IDE
The commit covers two things: 1) The classname is now made a field in the ClassDeclStatus. So, if a VDM class cannot be generated (the generated class in the ClassDeclStatus is null) then at least the name of the VDM class will be available in the ClassDeclStatus. 2) Fix: The source file was accidently created for a class where no code is being generated (when the class has unsupported nodes).