small fix of java compilation