An automated database patching framework for Java.