Java Software Development with Event B