The GeoExplorer source code has moved to github:
http://github.com/opengeo/GeoExplorer