User-agent: *
Disallow: /docs/
Disallow: /images/
Disallow: /js/
Disallow: /jspportal/
Disallow: /jspinclude/
Disallow: /jsptag/
Disallow: /theme/
Disallow: /serveredi/
Disallow: /old/
Disallow: /resources/
Disallow: /java/
Disallow: /examples/

# updated 2002-01-18