Summary: Report the build times at end of a jdkroot build.
Reviewed-by: ohair