Copyright header for VertexShortCycles.java