idea: Created the initial Intellij Idea project for Java Semantics.