Merge origin/master

Conflicts:
	.gitignore
	src/main.java
Merge origin/master

Conflicts:
	.gitignore
	src/main.java
Merge origin/master

Conflicts:
	src/view/CasePane.java
Merge origin/master

Conflicts:
	src/view/CasePane.java