import com.google.gwt.user.client.Command;
import com.google.gwt.user.client.ui.Composite;
import com.google.gwt.user.client.ui.HTML;
+import com.google.gwt.user.client.ui.HasHorizontalAlignment;
import com.google.gwt.user.client.ui.HorizontalPanel;
import com.google.gwt.user.client.ui.Tree;
import com.google.gwt.user.client.ui.VerticalPanel;
separator.addStyleName("pithos-statisticsSeparator");
separator.add(new HTML(""));
content.add(separator);
-// content.setCellHeight(separator, "3px");
HorizontalPanel statistics = new HorizontalPanel();
statistics.addStyleName("pithos-statistics");