Nomenclature adapted to Java 6.