Bump actions/setup-java from 4.0.0 to 4.1.0 in /.github/actions/setup-gear #34

Job	Run time
Up to images (godel)	34s
Up to images (turing)	32s
Up to images (church)	34s
Stack building (godel, marx)	30s
Stack building (turing, durkheim)	45s
Stack building (turing, veblen)	29s
Stack building (church, commons)	59s
Stack checking (0, api, marx)	33s
Stack checking (0, api, durkheim)	39s
Stack checking (0, api, veblen)	1m 37s
Stack checking (0, api, commons)	34s
Stack checking (1, api, marx)	45s
Stack checking (1, api, durkheim)	46s
Stack checking (1, api, veblen)	46s
Stack checking (1, api, commons)	32s
Stack publishing (api, marx)	35s
Stack reporting	5s
Stack publishing (api, durkheim)	34s
Stack publishing (api, veblen)	46s
Stack publishing (api, commons)	48s
Everything is fine	1s
	13m 24s

Provide feedback