Create StaticTypeCheck.java