Jsi bddc

Several updates and fixes in BDDC support.