<%@ page import="org.gcube.common.portal.GCubePortalConstants" %>
<%
//themeDisplay.getUser().getScreenName();
String currentVirtualHost = request.getServerName();
String groupName = currentVirtualHost.split("\\.")[0];
String mySiteURL = GCubePortalConstants.PREFIX_GROUP_URL + "/" + groupName;
%>
" id="homeIcon"
title="<%=groupName%> Infrastructure Gateway Home">
" id="wsIcon"
alt='Workspace' title='Virtual Workspace'>
" id="catalougueIcon"
alt='See Data Catalogue' title='Data Catalogue'>
" id="messagesIcon"
alt='See Messages' title='Messages'>