Retrieves the extension for the file name of the stream.
public String getExtension()
Returns the file name extension.