okey, etwas komisches ist gerade passiert: ich habe einfach nochmal java 7 update 5 64bit runtergeladen, und es damit ausprobiert, aber minecraft wurde automatisch mit java 6 32bit geöffnet, obwohl ich es unter eigenschaften geändert habe.
jetzt habe ich 32bit deinstalliert, und es dann nochmal mit java 7 64 bit versucht, und es klappt, und läuft nebenbei doppelt so flüssig
ich finde es sehr komisch wie, aber es hat geklappt xD