Added options to enable and disable autoscrolling.
Update to Java 1.7.
A few other bugfixes.