Merge branch 'master' into joniDev

de.uniwue.mk.athen/bundles/de.uniwue.mk.kall.editorPainting/src/de/uniwue/mk/kall/editorPainting/util/EditorDrawingUtil.java

@@ -106,14 +106,14 @@ public class EditorDrawingUtil {
 		List<Rectangle> textBounds = EditorDrawingUtil.getTextBounds(annotation, textWidget);
 		Rectangle bounds = null;
 		boolean isDrawOpenBracket = annotation.getBegin() == offset;
-		if (isDrawOpenBracket) {
+		if (isDrawOpenBracket && textBounds.size()>0) {
 			bounds = textBounds.get(0);
 			gc.drawLine(bounds.x, bounds.y + bounds.height - 1, bounds.x + BRACKET_WIDTH, bounds.y + bounds.height - 1);
 			gc.drawLine(bounds.x, bounds.y, bounds.x, bounds.y + bounds.height - 1);
 			gc.drawLine(bounds.x, bounds.y, bounds.x + BRACKET_WIDTH, bounds.y);
 		}
 		boolean isDrawCloseBracket = annotation.getEnd() == offset + length;
-		if (isDrawCloseBracket) {
+		if (isDrawCloseBracket && textBounds.size()>0) {
 			bounds = textBounds.get(textBounds.size() - 1);
 			gc.drawLine(bounds.x + bounds.width, bounds.y + bounds.height - 1, bounds.x + bounds.width - BRACKET_WIDTH,
 					bounds.y + bounds.height - 1);