prevent compilation errors on java 7