[patch] stubs for j2se font api

[Tom Tromey]

>>>>> "graydon" == graydon hoare <graydon@redhat.com> writes:

graydon> the following just brings the java.awt.Font class API up to date
graydon> wrt. the j2se docs; doesn't implement any of it yet. that's for
graydon> later. none of the doc comments are copied verbatim, all are
graydon> rephrasings of the same meaning.
graydon> ok to commit?

Yes, thanks.
Looks like this is one of the classes following an older formatting
style.  Bleah.

Tom