Fixed some bugs

I installed an Eclipse plugin that finds bugs better than normal
Eclipse, and I fixed the bugs it found.