modifing the pages branch

--HG--
branch : test
rename : eclipse-jpf.site/.project => update/.project
rename : eclipse-jpf.site/artifacts.jar => update/artifacts.jar
rename : eclipse-jpf.site/content.jar => update/content.jar
rename : eclipse-jpf.site/features/gov.nasa.jpf.eclipsejpf_1.0.0.201310082300.jar => update/features/gov.nasa.jpf.eclipsejpf_1.0.0.201310082300.jar
rename : eclipse-jpf.site/plugins/eclipse-jpf_1.0.0.201310082300.jar => update/plugins/eclipse-jpf_1.0.0.201310082300.jar
rename : eclipse-jpf.site/site.xml => update/site.xml
merged

--HG--
branch : test