this java example reproduces the bug in malicious ot