20170523 city.bengaluru: 7;000 trees in Harohalli may make way for all-woman tech park