create a more convenient file header for Java types (including terms of use)