Abrir archivo .ditaval en Windows: programas

2 programas para Windows registran la extensión .ditaval. Con uno de ellos instalado, el archivo se abre con doble clic.