OpenKomodo updated to r12823