Drjava extension to Java8