Correct constructor to be Java 7 compatible