10401041104210431044104510461047104810491050
this.ppmEscChar = ppmEscChar; } public void cleanUp() { if (ppm != null) { SubAllocator allocator = ppm.getSubAlloc(); if (allocator != null) { allocator.stopSubAllocator(); } } }