Marker double click listener, fixed heatmap equals & hashcode, migrate to vaadin 7.3.2