GPdi Borobudur akan dijual...?

di Website bukitmerpati.org terdapat berita bahwa gedung GPdi Borobudur akan dijual?? Berikut linknya http://www.bukitmerpati.org/index.php?option=com_content&view=article&id=155:gpdi-borobudur-akan-dijual&catid=41:berita&Itemid=89