The Well-Grounded Java Developer: Vital techniques of Java 7 and polyglot programming