introducing dspace.ui in build.properties