Executable JAR class for checking properties of rectangles