TypeCheckedForm.java moved to another package
Final version