diff options
| -rw-r--r-- | ajde/src/org/aspectj/ajde/Ajde.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ajde/src/org/aspectj/ajde/Ajde.java b/ajde/src/org/aspectj/ajde/Ajde.java index b1c50a47c..fd08eeccc 100644 --- a/ajde/src/org/aspectj/ajde/Ajde.java +++ b/ajde/src/org/aspectj/ajde/Ajde.java @@ -40,6 +40,7 @@ public class Ajde { private static final Ajde INSTANCE = new Ajde(); private static final String NOT_INITIALIZED_MESSAGE = "Ajde is not initialized."; private static boolean isInitialized = false; + private static int compatibilityLevel = 1; // Used by org.aspectj.ajde upgrade task private BuildManager buildManager; // private EditorManager editorManager; |