The O-Plan Java tools