JetElement.getContainingJetFile() introduced