public void mousePressed(MouseEvent e) {
if (e.getButton() == MouseEvent.BUTTON3) {
for (int i=0; i<platforms_lc.size(); i++) {
final Platform pl = platforms_lc.get(i);
if (pl.intersects(e.getX(), e.getY(), 1, 1)) {
platforms_lc.remove(pl);
i--;
}
}
return;