Summary of changes: 74097d5... Update to latest upstream (1.0.10) (*) 26facc3... Add forgotten source once again (*) 56d58ed... $supported_os and $JAVA_OS in configure do not always match (*) (*) This commit already existed in another branch; no separate mail sent