The org.eclipse.platform-3.x.x.zip file was obtained from:

http://www.eclipse.org/downloads/download.php?file=/eclipse/downloads/drops/R-3.7.2-201202080800/org.eclipse.platform-3.7.2.zip

The corresponding sources are available in /external/eclipse-basebuilder folder