bugfix for Java 8