बॉम्बे हाईकोर्ट का फैसला: इस्तीफा देने वाले न्यायाधीश भी पेंशन के हकदार