Delete WorldGenTreeMangrove.java