228229230231232233234235236237238
if (dispose) { if (DEBUG) { System.out.println("Disposing parser."); } parser.dispose(); this.parsers.remove(parser); if (DEBUG) { System.out.println("Available parsers:" + this.parsers.size()); } } else {