Phone tapping case: HC directs media not to mention names, numbers of judges while reporting