User-agent: *
Disallow: /manual
Disallow: /java-ssh
Disallow: /pub
Disallow: /Lucid
Disallow: /usage