From de47f2514108d39ddbc4cdc0ee975ea0af3c0af4 Mon Sep 17 00:00:00 2001
From: yh-semmle <yh@semmle.com>
Date: Fri, 26 Apr 2019 08:50:29 -0400
Subject: [PATCH] Java 12: remove `deprecated` annotation from
 `Stmt::getEnclosingStmt`

---
 java/ql/src/semmle/code/java/Statement.qll | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/java/ql/src/semmle/code/java/Statement.qll b/java/ql/src/semmle/code/java/Statement.qll
index e6b0dfa850a..4acb031ecc0 100755
--- a/java/ql/src/semmle/code/java/Statement.qll
+++ b/java/ql/src/semmle/code/java/Statement.qll
@@ -25,11 +25,9 @@ class Stmt extends StmtParent, ExprParent, @stmt {
   StmtParent getParent() { stmts(this, _, result, _, _) }
 
   /**
-   * DEPRECATED: Preview feature in Java 12. Subject to removal in a future release.
-   *
    * Gets the statement containing this statement, if any.
    */
-  deprecated Stmt getEnclosingStmt() {
+  Stmt getEnclosingStmt() {
     result = this.getParent() or
     result = this.getParent().(SwitchExpr).getEnclosingStmt()
   }