temporary workaround for java 7