Delete PortalPair.java