So how de we know that these corner cases that we discovered as problematic before now work? We've seen bugs in java.net.URL before.