Assuming you download it to the directory Portal:

Portal/portal.htm

Portal/Portal.jar

Portal/license.txt

Portal/readme.txt

Portal/portal.txt