<?xml version="1.0" encoding="UTF-8"?>
<project xmlns="http://maven.apache.org/DECORATION/1.0.0"
  xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
  xsi:schemaLocation="http://maven.apache.org/DECORATION/1.0.0 http://maven.apache.org/xsd/decoration-1.0.0.xsd">
  <bannerLeft>
    <name>Randomized Testing</name>
  </bannerLeft>

  <skin>
    <groupId>org.apache.maven.skins</groupId>
    <artifactId>maven-fluido-skin</artifactId>
    <version>1.5</version>
  </skin>

  <publishDate format="yyyy-MM-dd" position="right" />
  <version position="right" />

  <body>
    <breadcrumbs>
      <item name="randomizedtesting" href="."/>
    </breadcrumbs>

    <menu name="randomizedtesting">
      <item name="Home" href="index.html" />
    </menu>

    <menu ref="modules" inherit="bottom" />
    <menu ref="reports" inherit="bottom" />
  </body>
</project>
