In production environment you don't redeploy and restart often, so even if this might be a bug its not critical.
I think Peter's workaround should do.
Reply to this message by going to Community
Start a new discussion in Performance Tuning at Community