tree de29321bc883e2a932cc7dbb527ec88a566e57e9
parent 72b163e61f9a488895e46af3340c6522258683c8
author Stephan Herrmann <stephan.herrmann@berlin.de> 1359305516 +0100
committer Stephan Herrmann <stephan.herrmann@berlin.de> 1359305516 +0100

update jdt.core and tests to M20130125-1200 (4.2.2 RC3).