Added JML

Added JML for code.
Updted .gitignore to ignore .class files