some method stubs in winchecker classes have been filled in. Also added a JUnit test case for winchecker