tree 83c869eb7f78f14189ce34499991d61e929d9ce3
parent 6e718e51f826b55fd4b530a6de4f2ce651343f11
author Darin Wright <darin> 1046741872 +0000
committer Darin Wright <darin> 1046741872 +0000

bug 33712 - "The resource tree is locked for modifications" from JavaDebugOptionsManager