Add InsertRole as Java and generating Python files

(Running InsertRole_gen.py generates the file InsertRole.java.)