gcc/libjava/doc/java-security-spec.texi