From da5a5a0077f1a99a862b40ac8c401a495e0b29ad Mon Sep 17 00:00:00 2001
From: Ralph Schaefermeier <schaef@inf.fu-berlin.de>
Date: Mon, 21 Dec 2015 00:58:27 +0100
Subject: [PATCH] Make mutable copy of button list.

---
 .../java/org/coode/patterns/protege/ui/PatternModelList.java    | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/oppl2plugin/src/main/java/org/coode/patterns/protege/ui/PatternModelList.java b/oppl2plugin/src/main/java/org/coode/patterns/protege/ui/PatternModelList.java
index 06ccde43..68701f47 100644
--- a/oppl2plugin/src/main/java/org/coode/patterns/protege/ui/PatternModelList.java
+++ b/oppl2plugin/src/main/java/org/coode/patterns/protege/ui/PatternModelList.java
@@ -272,7 +272,7 @@ public void setRootObject(PatternAnnotationContainer root) {
 
     @Override
     protected List<MListButton> getListItemButtons(MListItem item) {
-        List<MListButton> listItemButtons = super.getListItemButtons(item);
+        List<MListButton> listItemButtons = new ArrayList<MListButton>(super.getListItemButtons(item));
         if (item instanceof PatternListItem) {
             final PatternModel patternModel = ((PatternListItem) item).getPatternModel();
             if (!patternModel.isClassPattern()) {