that is a non-published detail which is necessary to verify that the Java code also works as advertised