@@ -0,0 +1,379 @@
+/** non-final class with final clone() method.%0A * %0A *  This is probably bug, but the detector shoud be careful%0A *  that the final clone() implementation doesn't directly%0A *  or indirectly invoke some kind of non-final copy() method.%0A */%0Apublic class CloneIdiom4 implements Cloneable %7B%0A%09final public Object clone() throws CloneNotSupportedException %7B%0A%09%09return super.clone();%0A%09%7D%0A%7D%0A

test case inspired by bug#1550504