Fix for java compilation error #1