Java back-end improved with precise getter type