diff --git a/jode/jode/expr/ArrayLengthOperator.java b/jode/jode/expr/ArrayLengthOperator.java
index 9062ca5..eca6a55 100644
--- a/jode/jode/expr/ArrayLengthOperator.java
+++ b/jode/jode/expr/ArrayLengthOperator.java
@@ -18,7 +18,8 @@
  */
 
 package jode.expr;
-import jode.Type;
+import jode.type.Type;
+import jode.decompiler.TabbedPrintWriter;
 
 public class ArrayLengthOperator extends Operator {
 
@@ -37,10 +38,6 @@ public class ArrayLengthOperator extends Operator {
         return 1;
     }
 
-    public int getOperandPriority(int i) {
-        return 900;
-    }
-
     public Type getOperandType(int i) {
         return arrayType;
     }
@@ -49,7 +46,10 @@ public class ArrayLengthOperator extends Operator {
         arrayType = arrayType.intersection(types[0]);
     }
 
-    public String toString(String[] operands) {
-        return operands[0] + ".length";
+    public void dumpExpression(TabbedPrintWriter writer,
+			       Expression[] operands) 
+	throws java.io.IOException {
+	operands[0].dumpExpression(writer, 900);
+	writer.print(".length");
     }
 }