Supplementary Material - Mining Billions of AST Nodes to Study Actual and Potential Usage of Java Language Features