Fix duplicate open element in java part of user guide too