Allow ignoring a configurable list of extension dependencies

Should probably be configurable in case the default list is not complete (it definitely won't) or there is too much in it (stuff removed in a more recent version of Java).