tree d5701a62ce76103cf633e998d2c9882f9a43c43a
parent 1bb100736ed8df297a985f538dedd7ad5ec5bf70
author Stephan Herrmann <stephan.herrmann@berlin.de> 1388759265 +0100
committer Stephan Herrmann <stephan.herrmann@berlin.de> 1388759419 +0100

Update jdt.core from origin BETA_JAVA8 with
72578ba43287462a0c91a7de026e07610ac80a95 upto
56a8cd73a948ae71b76868e1cd754e391e5a1fb2