Copyright header for EdgeShortCycles.java