fix compilation issue on java7