| commit | e8288e31c6b8491765fc028354b34dc4294388d3 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan.herrmann@berlin.de> | Thu Feb 02 21:30:36 2017 +0100 |
| committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Thu Feb 02 21:30:36 2017 +0100 |
| tree | 493af08ce637d20970dd9becb60e8ddee73b0f12 | |
| parent | 20fe06fe7891b8097c3707c5e7d9130b4e9499b8 [diff] |
Make test from JDT's bug 507954 more robust.