Updated Java sources