Update for 1.7

Update the default SERVER_LOG and minecraft redb for 1.7.