From c1aef37081033267e4ccc3c3dfdddf5c4e90840b Mon Sep 17 00:00:00 2001
From: Florian Schmaus <flo@geekplace.eu>
Date: Fri, 31 Oct 2014 17:12:24 +0100
Subject: [PATCH] Undeprecate Packet.getExtension(String)

as there a valid uses for it, see for example ChatStateManager:173.
---
 .../src/main/java/org/jivesoftware/smack/packet/Packet.java  | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/smack-core/src/main/java/org/jivesoftware/smack/packet/Packet.java b/smack-core/src/main/java/org/jivesoftware/smack/packet/Packet.java
index 364d09441..bd658c039 100644
--- a/smack-core/src/main/java/org/jivesoftware/smack/packet/Packet.java
+++ b/smack-core/src/main/java/org/jivesoftware/smack/packet/Packet.java
@@ -219,12 +219,13 @@ public abstract class Packet extends TopLevelStreamElement {
 
     /**
      * Returns the first extension of this packet that has the given namespace.
+     * <p>
+     * When possible, use {@link #getExtension(String,String)} instead.
+     * </p>
      *
      * @param namespace the namespace of the extension that is desired.
      * @return the packet extension with the given namespace.
-     * @deprecated use {@link #getExtension(String,String)} instead.
      */
-    @Deprecated
     public PacketExtension getExtension(String namespace) {
         return PacketUtil.packetExtensionfromCollection(getExtensions(), null, namespace);
     }