Delete 2013-12-14-ubuntuinsjdk.md~