Fixed bug 265

Not sure this is quite the proper way to get the platform version (possibly someway to avoid hardcoding eclipse bundle string?), but works with 4.2 and 4.3.