Back to Tree species diversity adapted to Pinus merkusii forests in Gunung Ciremai National Park, West Java, Indonesia Tree species diversity adapted to Pinus merkusii forests in Gunung Ciremai National Park, West Java, Indonesia