Beginnings of support for debug symbols.

- also, move to Java 8.