Code compliant with Java version >= 7.