diff options
Diffstat (limited to 'org.eclipse.text/src/org/eclipse/text/edits/UndoEdit.java')
| -rw-r--r-- | org.eclipse.text/src/org/eclipse/text/edits/UndoEdit.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/org.eclipse.text/src/org/eclipse/text/edits/UndoEdit.java b/org.eclipse.text/src/org/eclipse/text/edits/UndoEdit.java index 57601327cab..663a9c4c328 100644 --- a/org.eclipse.text/src/org/eclipse/text/edits/UndoEdit.java +++ b/org.eclipse.text/src/org/eclipse/text/edits/UndoEdit.java @@ -85,9 +85,9 @@ public final class UndoEdit extends TextEdit { } void add(ReplaceEdit edit) { - List children= internalGetChildren(); + List<TextEdit> children= internalGetChildren(); if (children == null) { - children= new ArrayList(2); + children= new ArrayList<>(2); internalSetChildren(children); } children.add(edit); |