<div dir="ltr"><div>I stumbled upon this [1] when reviewing [2].</div><div><br></div><div>Have a nice reading!</div><div>Sebastian</div><div><br></div><div>[1] <a href="http://www.javaspecialists.eu/archive/Issue237.html">http://www.javaspecialists.eu/archive/Issue237.html</a></div><div>[2] <a href="https://github.com/infinispan/infinispan/pull/4233">https://github.com/infinispan/infinispan/pull/4233</a></div><div><br></div></div>