improved Extensional Conciseness using SPARK
Attached new java class