tree 32c8047a1d02c2d9f49e6742988b7fa12d2b17de
parent fa40421d17bf152b0fdb3a969d9eda624f1182e3
author Stephan Herrmann <stephan.herrmann@berlin.de> 1465307409 +0200
committer Stephan Herrmann <stephan.herrmann@berlin.de> 1465307409 +0200

Version update: build as 2.5.0 (for ecj ?)