The count of flags with ranges has grown beyond the initial size (379), so let's bump it up to 512, to avoid resizing the range list at startup.

This change is trivial and I'd like to put it in as part of jdk13, if we still have the time.