digraph checks {
  Java [ label="is java installed?" ]
  CMSFrontend
  Java->CMSFrontend
  CMSFrontend -> WikiBackend [ label="is the backend server running?" ]
}