package deref;

// Based on code from org.apache.tools.zip.ZipEntry
public class UnconditionalDerefFalsePositive {
	int x;

	UnconditionalDerefFalsePositive(int x) {
		this.x = x;
	}

	UnconditionalDerefFalsePositive(UnconditionalDerefFalsePositive other) {
		this.x = other.x;
	}

	public Object clone() {
		UnconditionalDerefFalsePositive e = null;
		try {
			e = new UnconditionalDerefFalsePositive(
					(UnconditionalDerefFalsePositive) super.clone());
		} catch (Exception ex) {
			ex.printStackTrace();
		}
		e.x = x + 1;
		return e;
	}

}

@@ -181,106 +181,8 @@
 %09%7D%0A%0A
-%09UnconditionalDerefFalsePositive(UnconditionalDerefFalsePositive other) %7B%0A%09%09this.x = other.x;%0A%09%7D%0A%0A
 %09pub
@@ -265,50 +265,8 @@
 e = 
-new UnconditionalDerefFalsePositive(%0A%09%09%09%09%09
 (Unc
@@ -308,17 +308,16 @@
 .clone()
-)
 ;%0A%09%09%7D ca
@@ -377,12 +377,8 @@
 .x =
- x +
  1;%0A

simplify example