4.0.0 io.github.riseclipse fr.centralesupelec.edf.riseclipse.main 1.2.0 eclipse-plugin io.github.riseclipse riseclipse-main 1.2.0