20150225 city.kochi: Mining ban needn't continue: HC