Workers repairing stars of European flag