Getters and setters for Character.java