1. info
   1. info.hupel
      1. info.hupel.isabelle
         1. info.hupel.isabelle.japi
            1. (class)JPlatform
            2. (object)(class)JResources
            3. (object)
               JSetup
         2. info.hupel.isabelle.setup
            1. (object)
               Artifacts
            2. (object)(trait)Resolver
            3. (object)(case class)Resources
            4. (object)(case class)Setup
            5. (object)
               Tar
            6. (class)TaskOps