tree 5cb3913c70a2a4f7aa418798ef2c583597c4cb1d
parent 8fc4a82f4ea4e27f2c94ba8e673dfd7bbd52dce5
author Alex Ruiz <alruiz@google.com> 1336598678 -0700
committer Alex Ruiz <alruiz@google.com> 1336598678 -0700

Workaround for https://bugs.eclipse.org/bugs/process_bug.cgi