Use the same type for getter and setter, to avoid java 8 bug (fixed in java 8 update 20).