Java user documentation
Bug fix