Merge "Add eclipse-platform 3.7.2 prebuilt."