A converter from JMdict to DSL and EDICT