As the majority opinion and one dissenting opinion explain, whether a work has the force of law is not the test. If it were, dissenting judicial opinions would be copyrightable, but they're not. The rule is that works produced by judges or legislators acting in their official capacities are not copyrightable. In this case, the annotations were works-for-hire of the legislature; whether they have the force of law is irrelevant.