Fix the bad merge of b3d93962ca01d62ccf3d236a6952da8a3530d24a, apparently java_sources can be None