Cleanup last references to portal management in Essentials.

Essentials/src/com/earth2me/essentials/User.java

@@ -12,7 +12,6 @@ import org.bukkit.entity.Player;
 
 public class User extends UserData implements Comparable<User>, IReplyTo, IUser
 {
-	private boolean justPortaled = false;
 	private CommandSender replyTo = null;
 	private transient User teleportRequester;
 	private transient boolean teleportRequestHere;
@@ -156,16 +155,6 @@ public class User extends UserData implements Comparable<User>, IReplyTo, IUser
 		this.base = new OfflinePlayer(getName(), ess);
 	}
 
-	public boolean getJustPortaled()
-	{
-		return justPortaled;
-	}
-
-	public void setJustPortaled(final boolean value)
-	{
-		justPortaled = value;
-	}
-
 	@Override
 	public void setReplyTo(final CommandSender user)
 	{

Essentials/src/config.yml

@@ -144,7 +144,6 @@ player-commands:
   - nick
   - pay
   - ping
-  - portal
   - powertool
   - protect
   - r

Essentials/src/examples/bpermissions.yml

@@ -31,7 +31,6 @@ groups:
     - essentials.nick
     - essentials.pay
     - essentials.ping
-    - essentials.portal
     - essentials.powertool
     - essentials.protect
     - essentials.sethome

Essentials/src/examples/permissionsbukkit.yml

@@ -38,8 +38,7 @@ groups:
             essentials.msg: true
             essentials.nick: true
             essentials.pay: true
-            essentials.ping: true
-            essentials.portal: true
+            essentials.ping: true            
             essentials.powertool: true
             essentials.protect: true
             essentials.sethome: true

Essentials/src/examples/permissionsex.yml

@@ -37,7 +37,6 @@ groups:
         - essentials.nick
         - essentials.pay
         - essentials.ping
-        - essentials.portal
         - essentials.powertool
         - essentials.protect
         - essentials.sethome

EssentialsGroupManager/src/groups.yml

@@ -39,7 +39,6 @@ groups:
     - essentials.nick
     - essentials.pay
     - essentials.ping
-    - essentials.portal
     - essentials.powertool
     - essentials.protect
     - essentials.sethome