}
@Override public void mouseClicked(MouseEvent e) {
DataSet ds = Main.main.getCurrentDataSet();
// Let the user toggle the selection
ds.toggleSelected(osm);
l.validate();
}
});
// Sometimes the mouseEntered event is not catched, thus the label
// will not be highlighted, making it confusing. The MotionListener
// can correct this defect.