extensions for java 11 4977531