apparently I forgot to commit this last week, but it seems weird that
this happened. Perhaps an egit issue.