User-agent: *
Disallow: /__filesource
Disallow: /__examplesource
Disallow: /classtrees
Disallow: /elementindex