Generated getters and setters for jump data