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