Make synchronization service extendable, update userprojects model

I provided both as I thought that the EKB has problems with the checkout when there is not a getter AND setter for every attribute. Apparently that was not the problem, but I forgot to remove the setter methods.