EDIT

once again changing the launcher config

setting runtime-9 again in optional jetty executable field

maven vaadin launch scripts

launcher for maven vaadin:clean vaadin:compile

fixing problems in launcher config

updating and fixing default launch configurations

using other jetty version in other launcher

using other jetty version in launcher

fixing NPE

ref #7995 using updateStatusAndDate to set the registration status