mira la verdad no estoy muy seguro pero creo que es para el jdflasher....
porque el que hace los patch y te da la opcion de liberar db2012
SALUDOS