2.4.2 patch with ORCID update


An subsequent update of the 2.4 series was rolled out. Contains couple of bugfixes improving stability (mostly after the huge Vaadin upgrade) and also update of ORCID oauth client to its latest 2.1 API. The so far used ORCID API 1.2 is being removed, so if using this social provider update is necessary. See Downloads for details.