Merge origin/master

Conflicts:
	.gitignore
	src/node/Equal.java