Replacements for files in WPILibJ.