The downloads page [virtualbox.org] states that VirtualBox itself is GPL, and only the extension pack (USB passthrough and RDP) is subject to the PUEL. This arrangement has been in place throughout the entire 4.x series as far as I know. Prior to 4.x, there were two separate editions: VirtualBox OSE (GPL) and VirtualBox bundled with what is now the Extension Pack (PUEL).