RFR: 8251837: Rename get_safepoint_workers to safepoint_workers

[Thomas Schatzl]

Hi,

On 14.08.20 16:53, Stefan Karlsson wrote:
> Hi all,
> 
> Please review this trivial rename to get rid of the get_ prefix in 
> get_safepoint_workers.
> 
> https://cr.openjdk.java.net/~stefank/8251837/webrev.01/
> https://bugs.openjdk.java.net/browse/JDK-8251837
> 
> We usually don't add get_ prefixes to our getters:
> 
> https://hg.openjdk.java.net/jdk/jdk/file/1b316786d245/doc/hotspot-style.md
> 
> """
> * Getter accessor names are noun phrases, with no "`get_`" noise
> word. Boolean getters can also begin with "`is_`" or "`has_`".  Member
> function for reading data members usually have the same name as the
> data member, exclusive of the leading underscore.
> """
> 
> Thanks,
> StefanK

   lgtm.

Thomas