I made PHPStorm generate all the getters and setters, just in case we ever need them.