JEDIT_ACTION
Markup
JOINED
Markup
JSON
isabelle
Jenkins
Build_Log
Job_Info
CI_API
jdk_home
Isabelle_System
job_name
Job_Info
jobs
CI_Profile
join
Process
Future
Prover
System_Process
join_result
Future
jsch
Context
jvm_name
Platform
jvm_platform
Platform
jvm_version
Platform