First-instance judge was arrested, the first nationwide housing provident fund case was retried