[Some nitpicking from a Texinfo newbie and enthusiast.]
David Daney wrote:
+@item -freduced-reflection
The rest of the options in this list also do not follow this,
but still: Shouldn't this be "@item @option{-freduced-reflection}"
instead?
+For code that does not use reflection (i.e. the methods in the
+@code{java.lang.reflect} package), @code{-freduced-reflection}
+will result in proper operation with a savings in executable code size.
+
+JNI (@code{-fjni}) and the binary compatibility ABI
+(@code{-findirect-dispatch}) do not work properly without full
+reflection meta-data. Because of this, it is an error to use these options
+with @code{-freduced-reflection}.
"@option{-fjni}" instead of "@code{-fjni}",
"@option{-findirect-dispatch}" instead of "@code{-findirect-dispatch}",
etc.