equal
deleted
inserted
replaced
34 * files in a run-time image. |
34 * files in a run-time image. |
35 * The jrt file system can be created by calling |
35 * The jrt file system can be created by calling |
36 * {@link java.nio.file.FileSystems#newFileSystem |
36 * {@link java.nio.file.FileSystems#newFileSystem |
37 * FileSystems.newFileSystem(URI.create("jrt:/"))}. |
37 * FileSystems.newFileSystem(URI.create("jrt:/"))}. |
38 * </dd> |
38 * </dd> |
39 * <dt class="simpleTagLabel" style="font-family:'DejaVu Sans', Arial, Helvetica, sans serif">Tool Guides:</dt> |
|
40 * <dd style="font-family:'DejaVu Sans', Arial, Helvetica, sans serif"> {@extLink java_tool_reference java launcher}, |
|
41 * {@extLink keytool_tool_reference keytool}</dd> |
|
42 * </dl> |
39 * </dl> |
|
40 * |
|
41 * @toolGuide java java launcher |
|
42 * @toolGuide keytool |
43 * |
43 * |
44 * @provides java.nio.file.spi.FileSystemProvider |
44 * @provides java.nio.file.spi.FileSystemProvider |
45 * |
45 * |
46 * @uses java.lang.System.LoggerFinder |
46 * @uses java.lang.System.LoggerFinder |
47 * @uses java.net.ContentHandlerFactory |
47 * @uses java.net.ContentHandlerFactory |