Merge branch 'DEVELOP_FE' of ssh://git.eclipse.org/gitroot/elogbook/portalFE into DEVELOP_FE