20180720 city.madurai: New principal district judge appointed