JPF dist directory restructuring