os.name: Note that 'java' is one of the registered names.
diff --git a/Doc/lib/libos.tex b/Doc/lib/libos.tex
index 3d8d444..2dc0740 100644
--- a/Doc/lib/libos.tex
+++ b/Doc/lib/libos.tex
@@ -67,7 +67,7 @@
\begin{datadesc}{name}
The name of the OS dependent module imported. The following names
have currently been registered: \code{'posix'}, \code{'nt'},
-\code{'dos'}, \code{'mac'}, \code{'os2'}, \code{'ce'}.
+\code{'dos'}, \code{'mac'}, \code{'os2'}, \code{'ce'}, \code{'java'}.
\end{datadesc}
\begin{datadesc}{path}