workaround for Java backend bug