Use 1.6 level in Eclipse (to avoid @Override error markers)