REDTEST#22: Investigate how to use The Java API Documentation. Fixes #22.