cover_selected = tmp;
cover_selected.getElement().getStyle()
.setProperty("border", "2px solid #37A6EB");
}
tmp.addDomHandler(new MouseOverHandler() {
@Override
public void onMouseOver(MouseOverEvent event) {
((Widget) event.getSource()).getElement()
.getStyle().setCursor(Style.Cursor.POINTER);