Java: Disable Kotlin element of test re: database inconsistency exposed by JDK18 extractor upgrade

[smowton]

This is disabled for now because Kotlin doesn't extract java.lang.CharSequence.toString, even though that interface redeclares toString, and JDK18 points a call (syntactically to Editable.toString) that previous JDKs pointed at Object.toString. This produces a database inconsistency that should be fixed Kotlin-side.

[atorralba]

When this gets fixed we will be able to also get rid of

codeql/java/ql/lib/semmle/code/java/frameworks/android/Widget.qll

Lines 19 to 37 in bc2de7e

	private class EditableToStringStep extends AdditionalTaintStep {
	override predicate step(DataFlow::Node n1, DataFlow::Node n2) {
	exists(MethodAccess ma |
	ma.getMethod().hasName("toString") and
	ma.getReceiverType().getASourceSupertype*().hasQualifiedName("android.text", "Editable") and
	n1.asExpr() = ma.getQualifier() and
	n2.asExpr() = ma
	or
	ma.getMethod().hasQualifiedName("java.lang", "String", "valueOf") and
	ma.getArgument(0)
	.getType()
	.(RefType)
	.getASourceSupertype*()
	.hasQualifiedName("android.text", "Editable") and
	n1.asExpr() = ma.getArgument(0) and
	n2.asExpr() = ma
	)
	}
	}