| commit | c38197fa315daa26d2d13d0666752c3061f83594 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Mon Aug 15 22:25:47 2011 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Mon Aug 15 22:25:47 2011 +0000 |
| tree | 62efe6bf769939b9222f2d734f662384c71edff2 | |
| parent | c372d3e44f3416b817c0584ef1b62bf027146687 [diff] |
silly bug: need null to trigger initialization
diff --git a/contrib/org.eclipse.objectteams.jdt.nullity/src/org/eclipse/objectteams/internal/jdt/nullity/DOMAdaptation.java b/contrib/org.eclipse.objectteams.jdt.nullity/src/org/eclipse/objectteams/internal/jdt/nullity/DOMAdaptation.java index 2001aed..329c56e 100644 --- a/contrib/org.eclipse.objectteams.jdt.nullity/src/org/eclipse/objectteams/internal/jdt/nullity/DOMAdaptation.java +++ b/contrib/org.eclipse.objectteams.jdt.nullity/src/org/eclipse/objectteams/internal/jdt/nullity/DOMAdaptation.java
@@ -33,7 +33,7 @@ @SuppressWarnings({ "decapsulation", "restriction" }) public team class DOMAdaptation { - int [] translation = new int[1024]; + int [] translation = null; @SuppressWarnings("nls") public void initVersion() {