Source file and line number annotations in generated .class files