Issue #SOLIDJava ISP wrong