Random stuff

Luckily, eclipse stuck to what I said. Now I don't have to switch over
to IDEA.