Developing and debugging algebraic specifications for Java classes