If the goal is just to simply replace the DC jack, then yes, you can just replace it directly with any typical three terminal DC jack.
The pedal is positive tip / positive ground though. I assume your friend uses a special power supply with this one?
Reckon you could get some good clear pics of both sides of the PCB in there? For you know... science...