tree 15feac64f97f159fd7297752fc0c12b876b57d31
parent cf9208f9a3ed9cd039749f6f624f1be4289c5b4c
parent 690f005118e4db59ceac33d60d517ec2f82f8c2b
author Android (Google) Code Review <android-gerrit@google.com> 1258399530 -0800
committer Android (Google) Code Review <android-gerrit@google.com> 1258399530 -0800

Merge change I690f0051

* changes:
  Fixing a simple concurrency issue in the jtreg runner.