Type-Safe Java Program Adaptation Language