minor fix for java