not needed in java 7