735736737738739740741742743744745
/* * FindBugs whines about Redundent comparison to null below, but * for stylistic purposes we'll leave it in. */ if (duplicateBin != null) { duplicateBin.releaseLatchIfOwner(); } throw DBE; } }
705706707708709710711712713714715