Binary file plugins/org.w3c.css/bin/org/w3c/css/properties/atsc/CssBorderTopStyleATSC.class has changed