4.0.0 cristal cristal-gui 2.3.1 cristal-gui CRISTAL Kernel GUI cristal cristal-kernel cristal cristal-kernel 2.3.1 src/main META-INF/cristal module.xml src/main/resources com/c2kernel/gui/resources maven-compiler-plugin 2.3.2 1.6 1.6