Java Null Safety Claude Code Skill | JSpecify Patterns