public void setTargetPortal( Portal p ) { mTargetPortal = p; } // Set the local coordinates of one of the portal corners