I broke it.
Merge branch 'master' of https://github.com/poser3/Prove-It

Conflicts:
	ExpressionListCellRenderer.java