Bug 498925: NullPointerException in Config.delegateGetMethodBodies

- follow-up: prevent ConcurrentModificationException
  witnessed by ConcurrentBatchCompilerTest.testBug372319
1 file changed