/** Applications which fixed a particular KB problem. */
package org.texai.kb.fix;