Ignore Idea's workspace.xml
Compatibility with java 1.6.