Hi Bram
I am so glad that you started reviewing this. Yes, build.properties was committed by mistake . I am new with GIT and while pushing from Dspace parent project, forgot to remove this. Really sorry for that. Kindly let me know your opinion on the rest.