Time Library added to Playground

Yes, in /usr/share/arduino/libraries/Time/Time.h that line is present.

How do I know if that is the actual Arduino Library directory in use?

Is there a correct set of time related libraries that I can download?