(JSP-546E): Unify HD-JB5278.
authortomo <tomo>
Fri, 22 Jul 2011 16:23:34 +0000 (16:23 +0000)
committertomo <tomo>
Fri, 22 Jul 2011 16:23:34 +0000 (16:23 +0000)
(U-00026234): Use `->denotational' instead of `->subsumptive'.


No differences found