GJS Coverage support extension