RFR 8057113: (fs) Path should have a method to test the filename extension

[Brian Burkhalter]

http://cr.openjdk.java.net/~bpb/8057113/webrev.01/

I updated the patch to add to j.n.f.Path

String getExtension()

instead of

boolean hasExtension(String…).

The previously mentioned use case of a given file type having multiple possible extensions may be trivially handled for example as

Set.of(“jpg”, “JPG”, “jpeg”).contains(path.getExtension())

The class javadoc of Path was also updated to put the concept of extension in context.

Thanks,

Brian