so if domain-src.jar contained the java files this would help, or would it need to be the unpacked source?