Please download the Geoportal Server 1.2.5 binary distribution package from the Geoportal Server wiki homepage. Then unpack the zip and navigate to the geoportal.war file in ...\geoportal-1.2.5.zip\Web Applications\Geoportal. enjoy!