Contents of /manuals/java-api/