do not forcibly disable jdk extensions, as some distributions can store essential...