(May 31, 2017, 3:11 PM EDT) -- MIAMI — A Florida federal judge on May 26 denied a motion to dismiss after determining that an insurer’s suit seeking a coverage declaration for an underlying suit arising out of its insured’s alleged defective roofing work presents an appropriate controversy to be decided by the federal court (Atain Specialty Insurance Co., v. Kenneth Russell Roof Contracting LLC, No. 16-23627, S.D. Fla., 2017 U.S. Dist. LEXIS 81960)....