JADE 7 (FILEminimizer)

//JADE 7 (FILEminimizer)