java. Removed case-insensitivity, fixed #102, fixed #112.