workaround for java 1.7