JDK 13 RFR of JDK-8224174: java.lang.Number has a default constructor

[Brian Burkhalter]

Hi Joe,

> On May 20, 2019, at 8:58 AM, Joe Darcy <joe.darcy at oracle.com> wrote:
> 
>> Looks fine.

+1

>> Is this worthy of a CSR? It seems like make-work except that it does change
>> the formal Java SE spec that is generated from javadoc.
> 
> Fair point; new CSR at:
> 
>     https://bugs.openjdk.java.net/browse/JDK-8224232 <https://bugs.openjdk.java.net/browse/JDK-8224232>
Reviewed.

Brian