show/hide this revision's text 3 deleted 16 characters in body

How about this:

(using Using the notation from the question) $\mathcal F$ is a coherent sheaf of $\mathcal O_{\overline X}$-algebras. Then $Z={\rm Spec}_{\overline X}\, \mathcal F\to \overline{X}$ is a finite morphism between projective schemes. Looking at the construction of ${\rm Spec}_{\overline X}\, \mathcal F$ should tell you that $\overline Y\simeq Z^{\rm an}$.

show/hide this revision's text 2 added 11 characters in body

How about this: (using the notation from the question) $\mathcal F$ is a coherent sheaf of $\mathcal O_{\overline X}$-algebras. Then $Z={\rm Spec}_{\overline X}\, \mathcal F\to X$\overline{X}$ is a finite morphism between projective schemes. Looking at the construction of ${\rm Spec}_{\overline X}\, \mathcal F$ should tell you that $\overline Y\simeq Z^{\rm an}$.

show/hide this revision's text 1

How about this: (using the notation from the question) $\mathcal F$ is a coherent sheaf of $\mathcal O_{\overline X}$-algebras. Then $Z={\rm Spec}_{\overline X}\, \mathcal F\to X$ is a finite morphism between projective schemes. Looking at the construction of ${\rm Spec}_{\overline X}\, \mathcal F$ should tell you that $\overline Y\simeq Z^{\rm an}$.