20020802 india: Jammu encounter ends; 1 militant killed