Updated .gitignore
Changes to play with PortalExtension
Avoid problems with Java 7