update jdt.core to 0848b8a6a9afff16623dfc6b0821adb833326b41 (13-02-07)
10 files changed