Text this: Integration of semantic verication into Java compilers