Bundle version increase for jdt.launching for 4.7.2

Change-Id: I53bb2e6b733868985c44f63f6daf21df10f27f45
2 files changed