JADE 6 (FILEminimizer)

//JADE 6 (FILEminimizer)