User-agent: *
Disallow: /labtools/ /javadoc/


User-agent: Googlebot
Disallow: /labtools/

User-agent: Googlebot
Disallow: /javadoc/