A Florida judge releases documents in the Seminole Heights case