commit | c8bee0f3ed9e000bffed114f683683ce949cb194 | [log] [tgz] |
---|---|---|
author | Stephan Herrmann <stephan.herrmann@berlin.de> | Thu May 01 15:51:10 2014 +0200 |
committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Thu May 01 15:51:10 2014 +0200 |
tree | 0f6da9b0177e182cfcc9b04b05ec29cc3cb397e1 | |
parent | 0d303947491383078808a169e277155f5903e922 [diff] |
Fix compile errors after jdt.core update: implement new method.