Default

Resolver

DuplicatedFiles

Resources

default

Setup

defaultSetup

JSetup

detect

Setup

download

Tar

dumpIsabelleResources

JResources Resources