Since price is an issue, I'd consider a second hand or refurbished Asus UX ultrabook. They are light, well constructed (aluminium unibody if i'm not mistaken),

Since price is an issue, I'd consider a second hand or refurbished Asus UX ultrabook. They are light, well constructed (aluminium unibody if i'm not mistaken), have a high dpi displays and SSD comes standard. Linux support is supposedly very good out of the box. If you are planning to run IntelliJ (or other JetBrains IDE's for that matter) I'd go for at least 8GB or memory though. I wouldn't recommend running Android or other mobile oriented OS's for development, getting the tools up and running will be a pain.