commit | 40d4d572469e88c8dd5126daa6813373a56f5330 | [log] [tgz] |
---|---|---|
author | Stephan Herrmann <stephan.herrmann@berlin.de> | Sat May 03 02:28:36 2014 +0200 |
committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Sat May 03 02:28:36 2014 +0200 |
tree | e60fe1aed7884bb1288565c3247800b292e64685 | |
parent | cf711a118a759cf9c3a0c44c8f21d2194d8772fb [diff] |
Align with jdt.core, surfaced as a failure in ResourceLeakTests.