No idea about some library that might help here. In general, something like jPCT is more about importing and rendering stuff than it is about exporting data. It provides the basic means to do it, but have to write the exporter yourself or, if you find some lib that writes dxf, you have to write the glue logic between both.