Jclic: Added as a Submodule