jgarms: mark generated non-java files as derived.
1 file changed