added properties so that eclipse doesn't complain