Muratore danneggia tubi

Ciao a tutti!
A giugno 2009 abbiamo comprato un appartamento in un condominio di nuova costruzione. dato che il bagno aveva solo la vasca abbiamo deciso di installare una doccia e cambiare le piastrelle già esistenti. dopo mesi di lavoro finalmente il bagno era pronto e ci siamo trasferiti a giugno 2009.
Fin da subito il vicino al piano di sotto ci ha riferito di una macchia di umidità sul suo soffitto, proprio in corrispondenza della nuova doccia.

La macchia non è grande, ma comunque evidente e, quasi sicuramente, i muratori nel gettare il cemento hanno stretto troppo il tubo che si è spostato.

Chi dovrà pagare per i lavori?
Grazie mille per l'attenzione!