small fix for java7 compatibility