There's no need to clean up the local Maven repository after the
build, since only the artifacts we want are copied to the runtime
image. For reasons not investigated, attempting to remove the
local repository directory fails because the directory is in use
after the build.